Skip to content

Actions: leanprover/human-eval-lean

Actions

Update Lean Project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update.yml
244 workflow runs
244 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
Update Lean Project Update Lean Project #19: Scheduled
40s master
master
40s
Update Lean Project Update Lean Project #18: Scheduled
25s master
master
25s
Update Lean Project Update Lean Project #17: Scheduled
19s master
master
19s
Update Lean Project Update Lean Project #16: Scheduled
40s master
master
40s
Update Lean Project Update Lean Project #15: Scheduled
44s master
master
44s
Update Lean Project Update Lean Project #14: Scheduled
40s master
master
40s
Update Lean Project Update Lean Project #13: Scheduled
49s master
master
49s
Update Lean Project Update Lean Project #12: Scheduled
38s master
master
38s
Update Lean Project Update Lean Project #11: Scheduled
53s master
master
53s
Update Lean Project Update Lean Project #10: Scheduled
24s master
master
24s
Update Lean Project Update Lean Project #9: Scheduled
39s master
master
39s
Update Lean Project Update Lean Project #8: Scheduled
23s master
master
23s
Update Lean Project Update Lean Project #7: Scheduled
19s master
master
19s
Update Lean Project Update Lean Project #6: Scheduled
49s master
master
49s
Update Lean Project Update Lean Project #5: Scheduled
23s master
master
23s
Update Lean Project Update Lean Project #4: Manually run by TwoFX
24s master
master
24s
Update Lean Project Update Lean Project #3: Manually run by TwoFX
42s master
master
42s
Update Lean Project Update Lean Project #2: Manually run by TwoFX
43s master
master
43s
Update Lean Project Update Lean Project #1: Manually run by TwoFX
44s master
master
44s
ProTip! You can narrow down the results and go further in time using created:<2025-08-20 or the other filters available.
⚡