Skip to content

Actions: mlyean/lean-coxeter

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91 workflow runs
91 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 #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
Tidy Lean Action CI #72: Commit 2e36f9a pushed by mlyean
1h 20m 38s main
main
1h 20m 38s
Document Lean Action CI #71: Commit 95d0aa6 pushed by mlyean
1h 18m 4s main
main
1h 18m 4s
Complete construction of geometric representation Lean Action CI #70: Commit 979a1ab pushed by mlyean
1h 0m 28s main
main
1h 0m 28s
Bump lean version Create Release #5: Commit c44de4f pushed by mlyean
27s main
main
27s
Bump lean version Lean Action CI #69: Commit c44de4f pushed by mlyean
1h 20m 45s main
main
1h 20m 45s
Progress on geometric representation Lean Action CI #68: Commit 1c72245 pushed by mlyean
1h 25m 32s main
main
1h 25m 32s
Tidy Lean Action CI #67: Commit 27fc080 pushed by mlyean
1h 7m 2s main
main
1h 7m 2s
Lean Action CI Lean Action CI #66: Manually run by mlyean
1m 57s main
main
1m 57s
Lean Action CI Lean Action CI #65: Manually run by mlyean
2m 12s main
main
2m 12s
Fix formatting issues in references section Lean Action CI #64: Commit 1c042fe pushed by mlyean
13s main
main
13s