Skip to content

Actions: leanprover/human-eval-lean

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
528 workflow runs
528 workflow runs

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
feat: further use of cbv (#311) Lean Action CI #548: Commit ebb161b pushed by TwoFX
45s master
master
45s
feat: further use of cbv Lean Action CI #547: Pull request #311 opened by wkrozowski
34s wkrozowski:wojciech/cbv2
wkrozowski:wojciech/cbv2
34s
89 (#310) Lean Action CI #546: Commit 047842c pushed by TwoFX
22s master
master
22s
89 Lean Action CI #545: Pull request #310 opened by TwoFX
22s TwoFX:julia/89
TwoFX:julia/89
22s
86 (#309) Lean Action CI #544: Commit 283f76e pushed by TwoFX
22s master
master
22s
86 Lean Action CI #543: Pull request #309 opened by TwoFX
21s TwoFX:julia/86
TwoFX:julia/86
21s
84 (#308) Lean Action CI #542: Commit aece176 pushed by TwoFX
27s master
master
27s
84 Lean Action CI #541: Pull request #308 opened by TwoFX
29s TwoFX:julia/84
TwoFX:julia/84
29s
80 (#307) Lean Action CI #540: Commit 5a3da2d pushed by TwoFX
23s master
master
23s
80 Lean Action CI #539: Pull request #307 opened by TwoFX
24s TwoFX:julia/80
TwoFX:julia/80
24s
65 (#299) Lean Action CI #538: Commit eb51228 pushed by TwoFX
24s master
master
24s
64 (#298) Lean Action CI #537: Commit 3762564 pushed by TwoFX
24s master
master
24s
44 (#295) Lean Action CI #536: Commit b95a721 pushed by TwoFX
27s master
master
27s
28 (#290) Lean Action CI #535: Commit dcc71d1 pushed by TwoFX
20s master
master
20s
65 Lean Action CI #534: Pull request #299 synchronize by TwoFX
24s TwoFX:julia/65
TwoFX:julia/65
24s
64 Lean Action CI #533: Pull request #298 synchronize by TwoFX
19s TwoFX:julia/64
TwoFX:julia/64
19s
44 Lean Action CI #532: Pull request #295 synchronize by TwoFX
25s TwoFX:julia/44
TwoFX:julia/44
25s
28 Lean Action CI #531: Pull request #290 synchronize by TwoFX
1m 54s TwoFX:julia/28
TwoFX:julia/28
1m 54s
bump to nightly-2026-03-25 (#306) Lean Action CI #530: Commit 41b2490 pushed by TwoFX
2m 5s master
master
2m 5s
bump to nightly-2026-03-25 Lean Action CI #529: Pull request #306 opened by TwoFX
2m 4s TwoFX:julia/bump-03-25
TwoFX:julia/bump-03-25
2m 4s
(WIP) 79 Lean Action CI #528: Pull request #305 opened by TwoFX
19s TwoFX:julia/79
TwoFX:julia/79
19s
feat: use cbv in several examples (#304) Lean Action CI #527: Commit 1d2260f pushed by TwoFX
53s master
master
53s
feat: use cbv in several examples Lean Action CI #526: Pull request #304 opened by wkrozowski
1m 0s wkrozowski:wojciech/use_cbv
wkrozowski:wojciech/use_cbv
1m 0s
78 (#302) Lean Action CI #525: Commit 0a3752e pushed by TwoFX
22s master
master
22s
78 Lean Action CI #524: Pull request #302 opened by TwoFX
20s TwoFX:julia/78
TwoFX:julia/78
20s
⚡