Skip to content

Actions: alreadydone/lean-eval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 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
Record completed P0 and P1 hardening (#636) CI #15: Commit dd42cf4 pushed by alreadydone
1m 12s main
main
1m 12s
feat(Geometry): 2D aperiodic monotiles CI #14: Pull request #4 synchronize by alreadydone
14m 31s AperiodicMonotile
AperiodicMonotile
14m 31s
feat(Geometry): 2D aperiodic monotiles CI #13: Pull request #4 synchronize by alreadydone
11m 50s AperiodicMonotile
AperiodicMonotile
11m 50s
feat(Geometry): 2D aperiodic monotiles CI #12: Pull request #4 opened by alreadydone
12m 14s AperiodicMonotile
AperiodicMonotile
12m 14s
ci: skip catalog shards for docs-only main pushes CI #11: Commit 6b4b87b pushed by alreadydone
37m 35s main
main
37m 35s
ci: skip catalog shards for docs-only main pushes Regenerate generated/ on main #8: Commit 6b4b87b pushed by alreadydone
1h 6m 51s main
main
1h 6m 51s
ci: skip catalog shards for docs-only main pushes Notify leaderboard of main advance #8: Commit 6b4b87b pushed by alreadydone
5s main
main
5s
feat(EvalTools): fail validation on problem modules no manifest reach… Regenerate generated/ on main #7: Commit 9e9e1b5 pushed by alreadydone
6s main
main
6s
feat(EvalTools): fail validation on problem modules no manifest reach… CI #10: Commit 9e9e1b5 pushed by alreadydone
4h 41m 21s main
main
4h 41m 21s
feat(EvalTools): fail validation on problem modules no manifest reach… Notify leaderboard of main advance #7: Commit 9e9e1b5 pushed by alreadydone
7s main
main
7s
chore: regenerate generated/ workspaces Notify leaderboard of main advance #6: Commit 74caec5 pushed by alreadydone
5s main
main
5s
chore: regenerate generated/ workspaces CI #9: Commit 74caec5 pushed by alreadydone
4h 38m 4s main
main
4h 38m 4s
chore: regenerate generated/ workspaces Regenerate generated/ on main #6: Commit 74caec5 pushed by alreadydone
6s main
main
6s
chore: regenerate generated/ workspaces CI #8: Commit 5334853 pushed by alreadydone
47m 20s main
main
47m 20s
toml Notify leaderboard of main advance #5: Commit 9e18a78 pushed by alreadydone
6s main
main
6s
toml CI #7: Commit 9e18a78 pushed by alreadydone
11m 41s main
main
11m 41s
toml Regenerate generated/ on main #5: Commit 9e18a78 pushed by alreadydone
9s main
main
9s
chore: regenerate generated/ workspaces Notify leaderboard of main advance #4: Commit 5334853 pushed by alreadydone
6s main
main
6s
chore: regenerate generated/ workspaces Regenerate generated/ on main #4: Commit 5334853 pushed by alreadydone
13s main
main
13s
chore: regenerate generated/ workspaces CI #6: Commit 5334853 pushed by alreadydone
4h 3m 42s main
main
4h 3m 42s
merge upstream CI #5: Pull request #3 opened by alreadydone
2h 40m 54s leanprover:main
leanprover:main
2h 40m 54s
merge upstream CI #4: Pull request #2 opened by alreadydone
3h 52m 19s leanprover:main
leanprover:main
3h 52m 19s
chore: regenerate generated/ workspaces CI #3: Commit 2d02061 pushed by alreadydone
4h 38m 38s main
main
4h 38m 38s
chore: regenerate generated/ workspaces Regenerate generated/ on main #3: Commit 2d02061 pushed by alreadydone
6s main
main
6s
chore: regenerate generated/ workspaces Notify leaderboard of main advance #3: Commit 2d02061 pushed by alreadydone
5s main
main
5s