Skip to content

Actions: leanprover/human-eval-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
417 workflow runs
417 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fill sorries in 122 Lean Action CI #249: Pull request #216 opened by datokrat
24s paul/122b
paul/122b
24s
cleanups Lean Action CI #248: Commit 4adaff9 pushed by datokrat
27s paul/122b
paul/122b
27s
127 (#215) Lean Action CI #247: Commit c0c4b5e pushed by datokrat
24s master
master
24s
127 Lean Action CI #246: Pull request #215 opened by datokrat
26s paul/127
paul/127
26s
use closed intervals to match problem semantics Lean Action CI #245: Commit 6c4a5b9 pushed by datokrat
27s paul/127
paul/127
27s
Update Lean Project Update Lean Project #161: Scheduled
1m 11s master
master
1m 11s
126 using mvcgen (#214) Lean Action CI #244: Commit 688143d pushed by datokrat
35s master
master
35s
126 using mvcgen Lean Action CI #243: Pull request #214 synchronize by datokrat
1m 39s paul/126
paul/126
1m 39s
final cleanups Lean Action CI #242: Commit 657c0b4 pushed by datokrat
36s paul/126
paul/126
36s
126 using mvcgen Lean Action CI #241: Pull request #214 synchronize by datokrat
38s paul/126
paul/126
38s
simplify Lean Action CI #240: Commit 89bb2d0 pushed by datokrat
47s paul/126
paul/126
47s
126 using mvcgen Lean Action CI #239: Pull request #214 opened by datokrat
47s paul/126
paul/126
47s
small improvements Lean Action CI #238: Commit 55b6344 pushed by datokrat
44s paul/126
paul/126
44s
Problem 156 Lean Action CI #237: Pull request #213 opened by TwoFX
34s TwoFX:156
TwoFX:156
34s
Update Lean Project Update Lean Project #160: Scheduled
1m 9s master
master
1m 9s
chore: clean up grind annotations (#212) Lean Action CI #236: Commit 4a14a09 pushed by TwoFX
28s master
master
28s
chore: clean up grind annotations Lean Action CI #235: Pull request #212 opened by TwoFX
31s TwoFX:cleanup-grind-annotations
TwoFX:cleanup-grind-annotations
31s
HumanEval106 Lean Action CI #234: Pull request #197 synchronize by datokrat
33s datokrat:paul/106
datokrat:paul/106
33s
106 (#197) Lean Action CI #233: Commit 955976e pushed by datokrat
1m 11s master
master
1m 11s
final cleanups Lean Action CI #232: Commit a4bf1f7 pushed by datokrat
1m 16s paul/106
paul/106
1m 16s
Update Lean Project Update Lean Project #159: Scheduled
1m 0s master
master
1m 0s
123 (#211) Lean Action CI #231: Commit 7f6eedb pushed by datokrat
23s master
master
23s
123 Lean Action CI #230: Pull request #211 synchronize by datokrat
27s paul/123
paul/123
27s
move lemmas Lean Action CI #229: Commit b1ab5df pushed by datokrat
30s paul/123
paul/123
30s
123 Lean Action CI #228: Pull request #211 synchronize by datokrat
24s paul/123
paul/123
24s