Skip to content

Actions: leanprover/lean-kernel-arena

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
198 workflow runs
198 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add the (very unfinished) rpylean. Build and Deploy Site #107: Pull request #6 synchronize by Julian
14m 53s Julian:rpylean
Julian:rpylean
14m 53s
Add the (very unfinished) rpylean. Build and Deploy Site #106: Pull request #6 synchronize by Julian
14m 48s Julian:rpylean
Julian:rpylean
14m 48s
Cache imported recursorMap Actionlint #92: Commit 047a20d pushed by nomeata
12s joachim/tutorial-inductives
joachim/tutorial-inductives
12s
More tricky projections Actionlint #91: Commit 86f934c pushed by nomeata
19s joachim/tutorial-inductives
joachim/tutorial-inductives
19s
Level-polymorphic projection test Actionlint #90: Commit 99f76cd pushed by nomeata
13s joachim/tutorial-inductives
joachim/tutorial-inductives
13s
Avoid proofs that use projections Actionlint #89: Commit d52bd0d pushed by nomeata
15s joachim/tutorial-inductives
joachim/tutorial-inductives
15s
More tests Actionlint #88: Commit 6efe149 pushed by nomeata
15s joachim/tutorial-inductives
joachim/tutorial-inductives
15s
Inductive levels, RBTree Actionlint #87: Commit 523afad pushed by nomeata
15s joachim/tutorial-inductives
joachim/tutorial-inductives
15s
Prop-elim rec tests Actionlint #86: Commit 7f50bf8 pushed by nomeata
12s joachim/tutorial-inductives
joachim/tutorial-inductives
12s
Build and Deploy Site Build and Deploy Site #105: Manually run by nomeata
5h 59m 8s master
master
5h 59m 8s
Merge branch 'master' into joachim/tutorial-inductives Actionlint #85: Commit a2acef8 pushed by nomeata
6m 35s joachim/tutorial-inductives
joachim/tutorial-inductives
6m 35s
Build and Deploy Site Build and Deploy Site #104: Manually run by nomeata
22m 9s master
master
22m 9s
tutorial: a few assorted bad inductives Actionlint #84: Commit 562bf79 pushed by nomeata
7m 22s master
master
7m 22s
Add horrible hack to add bad inductives to the environment Actionlint #83: Commit 98aa3f1 pushed by nomeata
45s joachim/tutorial-inductives
joachim/tutorial-inductives
45s
Add the (very unfinished) rpylean. Build and Deploy Site #103: Pull request #6 synchronize by Julian
13m 6s Julian:rpylean
Julian:rpylean
13m 6s
Add the (very unfinished) rpylean. Build and Deploy Site #102: Pull request #6 synchronize by Julian
13m 18s Julian:rpylean
Julian:rpylean
13m 18s
Add the (very unfinished) rpylean. Build and Deploy Site #101: Pull request #6 synchronize by Julian
6h 5m 4s Julian:rpylean
Julian:rpylean
6h 5m 4s
Add the (very unfinished) rpylean. Build and Deploy Site #100: Pull request #6 synchronize by Julian
1h 52m 26s Julian:rpylean
Julian:rpylean
1h 52m 26s
Add the (very unfinished) rpylean. Build and Deploy Site #99: Pull request #6 synchronize by Julian
23m 19s Julian:rpylean
Julian:rpylean
23m 19s
Add the (very unfinished) rpylean. Build and Deploy Site #98: Pull request #6 synchronize by Julian
10m 43s Julian:rpylean
Julian:rpylean
10m 43s
Update Actionlint #82: Commit e81cd22 pushed by nomeata
40s joachim/bump-format
joachim/bump-format
40s
Update lean4export to 3.1.0 format Build and Deploy Site #97: Pull request #7 synchronize by nomeata
10m 13s joachim/bump-format
joachim/bump-format
10m 13s
Update lean4export to 3.1.0 format Build and Deploy Site #96: Pull request #7 opened by nomeata
9m 42s joachim/bump-format
joachim/bump-format
9m 42s
Update lean4export to 3.1.0 format Actionlint #81: Commit 6cadb05 pushed by nomeata
11s joachim/bump-format
joachim/bump-format
11s
Build and Deploy Site Build and Deploy Site #95: Manually run by nomeata
5h 53m 15s master
master
5h 53m 15s