Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: leanprover/human-eval-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
303 workflow runs
303 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Lean Project Update Lean Project #139: Scheduled
49s master
master
49s
Update Lean Project Update Lean Project #138: Scheduled
44s master
master
44s
Update Lean Project Update Lean Project #137: Scheduled
44s master
master
44s
Update Lean Project Update Lean Project #136: Scheduled
43s master
master
43s
Update Lean Project Update Lean Project #135: Scheduled
1m 0s master
master
1m 0s
HumanEval110 (#202) Lean Action CI #181: Commit b2e7751 pushed by datokrat
40s master
master
40s
Update Lean Project Update Lean Project #134: Scheduled
47s master
master
47s
Update Lean Project Update Lean Project #133: Scheduled
40s master
master
40s
Update Lean Project Update Lean Project #132: Scheduled
1m 4s master
master
1m 4s
Update Lean Project Update Lean Project #131: Scheduled
39s master
master
39s
HumanEval110 Lean Action CI #180: Pull request #202 synchronize by datokrat
26s datokrat:paul/108
datokrat:paul/108
26s
HumanEval100 (#200) Lean Action CI #179: Commit ce7be58 pushed by datokrat
36s master
master
36s
100 Lean Action CI #178: Pull request #200 synchronize by datokrat
20s datokrat:paul/100
datokrat:paul/100
20s
HumanEval110 Lean Action CI #177: Pull request #202 synchronize by datokrat
23s datokrat:paul/108
datokrat:paul/108
23s
bumpt toolchain to the 2025-12-17 nightly Lean Action CI #176: Commit ecd6bad pushed by datokrat
38s master
master
38s
HumanEval110 Lean Action CI #175: Pull request #202 opened by datokrat
48s datokrat:paul/108
datokrat:paul/108
48s
Update Lean Project Update Lean Project #130: Scheduled
46s master
master
46s
Update Lean Project Update Lean Project #129: Scheduled
1m 0s master
master
1m 0s
Update Lean Project Update Lean Project #128: Scheduled
1m 3s master
master
1m 3s
Update Lean Project Update Lean Project #127: Scheduled
43s master
master
43s
Update Lean Project Update Lean Project #126: Scheduled
43s master
master
43s
Update Lean Project Update Lean Project #125: Scheduled
2m 49s master
master
2m 49s
101 Lean Action CI #174: Pull request #201 opened by datokrat
59s datokrat:paul/101
datokrat:paul/101
59s
100 Lean Action CI #173: Pull request #200 opened by datokrat
43s datokrat:paul/100
datokrat:paul/100
43s
bump toolchain to 2025-12-17 Lean Action CI #172: Pull request #199 synchronize by datokrat
41s datokrat:paul/bump
datokrat:paul/bump
41s