Skip to content

Actions: leanprover/lean-kernel-arena

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
366 workflow runs
366 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Build and Deploy Site Build and Deploy Site #199: Manually run by nomeata
5h 19m 35s master
master
5h 19m 35s
Add 1h timeout to nanobruijn run command Actionlint #168: Commit 4f0c988 pushed by nomeata
11s master
master
11s
Build and Deploy Site Build and Deploy Site #198: Manually run by nomeata
10h 2m 11s master
master
10h 2m 11s
Bump to v4.29.0: lean4lean, tests, mathlib (#31) Actionlint #167: Commit 241f419 pushed by nomeata
16s master
master
16s
Bump to v4.29.0: lean4lean, tests, mathlib Build and Deploy Site #197: Pull request #31 synchronize by nomeata
26m 2s joachim/update-checkers
joachim/update-checkers
26m 2s
Bump to v4.29.0: lean4lean, tests, mathlib Actionlint #166: Commit 08c0f44 pushed by nomeata
9s joachim/update-checkers
joachim/update-checkers
9s
Bump to v4.29.0: lean4lean, tests, mathlib Build and Deploy Site #196: Pull request #31 opened by nomeata
12m 33s joachim/update-checkers
joachim/update-checkers
12m 33s
Add rev to mathlib test for v4.29.0 tag Actionlint #165: Commit 784d51b pushed by nomeata
12s joachim/update-checkers
joachim/update-checkers
12s
Add rev to mathlib test for v4.29.0 tag Actionlint #164: Commit b15be41 pushed by nomeata
13s joachim/update-checkers
joachim/update-checkers
13s
Bump to v4.29.0: lean4lean, tests, mathlib Actionlint #163: Commit 1f1ad76 pushed by nomeata
10s joachim/update-checkers
joachim/update-checkers
10s
Build and Deploy Site Build and Deploy Site #195: Manually run by nomeata
7h 14m 47s master
master
7h 14m 47s
Update official checker set (#30) Actionlint #162: Commit e4c57d9 pushed by nomeata
9s master
master
9s
Update official checker set Build and Deploy Site #194: Pull request #30 opened by nomeata
19m 58s joachim/update-checkers
joachim/update-checkers
19m 58s
Update official checker set Actionlint #161: Commit 759b315 pushed by nomeata
15s joachim/update-checkers
joachim/update-checkers
15s
Build and Deploy Site Build and Deploy Site #193: Manually run by nomeata
6h 46m 25s master
master
6h 46m 25s
Bump nanobruijn to a5c4248 (fix OSNF stats overflow) (#29) Actionlint #160: Commit 99e82ba pushed by nomeata
11s master
master
11s
Bump nanobruijn to a5c4248 (fix OSNF stats overflow) Build and Deploy Site #192: Pull request #29 synchronize by nomeata
20m 2s joachim/bump-nanobruijn-osnf
joachim/bump-nanobruijn-osnf
20m 2s
Bump nanobruijn to a5c4248 (OSNF parse-time normalization) Actionlint #159: Commit c9f910f pushed by nomeata
8s joachim/bump-nanobruijn-osnf
joachim/bump-nanobruijn-osnf
8s
Bump nanobruijn to a5c4248 (OSNF parse-time normalization) Actionlint #158: Commit 69e8a77 pushed by nomeata
10s joachim/bump-nanobruijn-osnf
joachim/bump-nanobruijn-osnf
10s
Build and Deploy Site Build and Deploy Site #191: Manually run by nomeata
6h 32m 32s master
master
6h 32m 32s
Bump nanobruijn to e6e112a (OSNF) (#28) Actionlint #157: Commit ab38e7a pushed by nomeata
9s master
master
9s
Bump nanobruijn to e6e112a (OSNF) Build and Deploy Site #190: Pull request #28 synchronize by nomeata
17m 44s nomeata:joachim/bump-nanobruijn-osnf
nomeata:joachim/bump-nanobruijn-osnf
17m 44s
Bump nanobruijn to e6e112a (OSNF) Build and Deploy Site #189: Pull request #28 synchronize by nomeata
13m 27s nomeata:joachim/bump-nanobruijn-osnf
nomeata:joachim/bump-nanobruijn-osnf
13m 27s
Bump nanobruijn to e6e112a (OSNF) Build and Deploy Site #188: Pull request #28 opened by nomeata
13m 38s nomeata:joachim/bump-nanobruijn-osnf
nomeata:joachim/bump-nanobruijn-osnf
13m 38s
Build and Deploy Site Build and Deploy Site #187: Manually run by nomeata
6h 29m 3s master
master
6h 29m 3s