Skip to content

Actions: reilabs/lampe

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
149 workflow run results
149 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lambda support CI #149: Pull request #16 synchronize by utkn
November 30, 2024 08:11 4m 16s us/lambdas
us/lambdas
November 30, 2024 08:11 4m 16s
small changes CI #148: Commit d3a8441 pushed by utkn
November 30, 2024 08:11 4m 16s us/lambdas
us/lambdas
November 30, 2024 08:11 4m 16s
Lambda support CI #147: Pull request #16 synchronize by utkn
November 29, 2024 19:36 4m 16s us/lambdas
us/lambdas
November 29, 2024 19:36 4m 16s
nrfn! now returns (rep -> Function) CI #146: Commit 5e0c712 pushed by utkn
November 29, 2024 19:36 4m 16s us/lambdas
us/lambdas
November 29, 2024 19:36 4m 16s
Lambda support CI #145: Pull request #16 synchronize by utkn
November 29, 2024 16:52 4m 22s us/lambdas
us/lambdas
November 29, 2024 16:52 4m 22s
nested_triple theorem moved to the tactic code CI #144: Commit 00f335f pushed by utkn
November 29, 2024 16:52 4m 13s us/lambdas
us/lambdas
November 29, 2024 16:52 4m 13s
Lambda support CI #143: Pull request #16 synchronize by utkn
November 29, 2024 15:53 4m 16s us/lambdas
us/lambdas
November 29, 2024 15:53 4m 16s
Function and lambda types combined. Rep is now a parameter of funct… CI #142: Commit 4b38719 pushed by utkn
November 29, 2024 15:53 4m 13s us/lambdas
us/lambdas
November 29, 2024 15:53 4m 13s
Lambda support CI #141: Pull request #16 synchronize by utkn
November 28, 2024 19:59 4m 15s us/lambdas
us/lambdas
November 28, 2024 19:59 4m 15s
lawfulheap lemmas moved into namespace. class props now have a "thm_"… CI #140: Commit 0c6af88 pushed by utkn
November 28, 2024 19:59 4m 29s us/lambdas
us/lambdas
November 28, 2024 19:59 4m 29s
Lambda support CI #139: Pull request #16 synchronize by utkn
November 28, 2024 18:35 4m 15s us/lambdas
us/lambdas
November 28, 2024 18:35 4m 15s
Lambda syntax updated CI #138: Commit 31217dd pushed by utkn
November 28, 2024 18:35 4m 14s us/lambdas
us/lambdas
November 28, 2024 18:35 4m 14s
Lambda support CI #137: Pull request #16 synchronize by utkn
November 28, 2024 18:12 4m 28s us/lambdas
us/lambdas
November 28, 2024 18:12 4m 28s
variable p reintroduced to semantics. functionident's rep parameter i… CI #136: Commit fca5580 pushed by utkn
November 28, 2024 18:12 4m 15s us/lambdas
us/lambdas
November 28, 2024 18:12 4m 15s
basic traits (#18) CI #135: Commit bbf8e17 pushed by utkn
November 27, 2024 14:02 4m 2s us/traits
us/traits
November 27, 2024 14:02 4m 2s
Lambda support CI #134: Pull request #16 synchronize by utkn
November 27, 2024 08:25 4m 6s us/lambdas
us/lambdas
November 27, 2024 08:25 4m 6s
renamed utkans_thm to nested_triple CI #133: Commit 0edfe4b pushed by utkn
November 27, 2024 08:25 4m 12s us/lambdas
us/lambdas
November 27, 2024 08:25 4m 12s
Lambda support CI #132: Pull request #16 synchronize by utkn
November 27, 2024 08:02 4m 1s us/lambdas
us/lambdas
November 27, 2024 08:02 4m 1s
Merge branch 'main' of https://github.com/reilabs/lampe into us/lambdas CI #131: Commit 284c344 pushed by utkn
November 27, 2024 08:02 4m 11s us/lambdas
us/lambdas
November 27, 2024 08:02 4m 11s
updates in the steps tactic CI #130: Commit da4de6f pushed by utkn
November 27, 2024 07:36 4m 4s us/lambdas
us/lambdas
November 27, 2024 07:36 4m 4s
steps tactic can now work with callLambda intro rule CI #129: Commit d0dab1b pushed by utkn
November 26, 2024 20:14 4m 13s us/lambdas
us/lambdas
November 26, 2024 20:14 4m 13s
callLambda intro updated and proven CI #128: Commit 427f728 pushed by utkn
November 26, 2024 15:07 4m 15s us/lambdas
us/lambdas
November 26, 2024 15:07 4m 15s
basic traits (#18) CI #127: Commit bbf8e17 pushed by kustosz
November 26, 2024 09:35 4m 10s main
main
November 26, 2024 09:35 4m 10s
Lambda support CI #126: Pull request #16 synchronize by utkn
November 26, 2024 08:56 4m 15s us/lambdas
us/lambdas
November 26, 2024 08:56 4m 15s
"Closure" renamed to "lambda" across the project for precision CI #125: Commit 4d067d0 pushed by utkn
November 26, 2024 08:56 4m 17s us/lambdas
us/lambdas
November 26, 2024 08:56 4m 17s