Skip to content

Actions: mlyean/lean-coxeter

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
101 workflow runs
101 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
Bump lean version Create Release #11: Commit b8c00e9 pushed by mlyean
14s main
main
14s
Bump lean version Lean Action CI #95: Commit b8c00e9 pushed by mlyean
35m 34s main
main
35m 34s
Bump lean version Lean Action CI #94: Commit e98ca64 pushed by mlyean
33m 33s main
main
33m 33s
Bump lean version Create Release #10: Commit e98ca64 pushed by mlyean
24s main
main
24s
Bump lean version Lean Action CI #89: Commit e0c7d0c pushed by mlyean
36m 1s main
main
36m 1s
Bump lean version Create Release #9: Commit e0c7d0c pushed by mlyean
14s main
main
14s
Move list lemmas to own file Lean Action CI #88: Commit c066c8a pushed by mlyean
35m 48s main
main
35m 48s
Tidy Lean Action CI #87: Commit 53f6b4a pushed by mlyean
34m 51s main
main
34m 51s
Bump lean version Create Release #8: Commit 01841ca pushed by mlyean
12s main
main
12s
Bump lean version Lean Action CI #86: Commit 01841ca pushed by mlyean
36m 13s main
main
36m 13s
Bump lean version Create Release #7: Commit 20f0dec pushed by mlyean
9s main
main
9s
Bump lean version Lean Action CI #85: Commit 20f0dec pushed by mlyean
1h 16m 58s main
main
1h 16m 58s
Tidy Lean Action CI #84: Commit ff0e760 pushed by mlyean
1h 15m 42s main
main
1h 15m 42s
Remove unnecessary imports Lean Action CI #83: Commit b2a1c8b pushed by mlyean
1h 19m 58s main
main
1h 19m 58s
Tidy Lean Action CI #82: Commit 68460eb pushed by mlyean
1h 19m 32s main
main
1h 19m 32s
Tidy Lean Action CI #81: Commit 2138e3a pushed by mlyean
1h 15m 18s main
main
1h 15m 18s
Tidy Lean Action CI #80: Commit 421af27 pushed by mlyean
1h 25m 13s main
main
1h 25m 13s
Tidy, add basic lemmas Lean Action CI #79: Commit 112d592 pushed by mlyean
1h 17m 20s main
main
1h 17m 20s
Tidy Lean Action CI #78: Commit b54424f pushed by mlyean
1h 18m 21s main
main
1h 18m 21s
Tidy Lean Action CI #77: Commit 2f9c39e pushed by mlyean
1h 20m 22s main
main
1h 20m 22s
Tidy Lean Action CI #76: Commit db56c0e pushed by mlyean
1h 19m 12s main
main
1h 19m 12s
Bump lean version Create Release #6: Commit 588dfd7 pushed by mlyean
19s main
main
19s
Bump lean version Lean Action CI #75: Commit 588dfd7 pushed by mlyean
1h 20m 38s main
main
1h 20m 38s
Tidy Lean Action CI #74: Commit 8d21eab pushed by mlyean
1h 18m 37s main
main
1h 18m 37s
Tidy, document Lean Action CI #73: Commit bb32e18 pushed by mlyean
1h 18m 58s main
main
1h 18m 58s