Skip to content

Actions: senegrom/duplotrain

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Share the teardrop traversal and fold intermediate trajectory states State law N+4 #87: Commit 0a6a8e4 pushed by senegrom
37s main
main
37s
Push on main CodeQL #149: by senegrom
1m 17s main
main
1m 17s
Share the lower-bound chain traversals and remove phase bookkeeping State law N+4 #86: Commit 743c113 pushed by senegrom
35s main
main
35s
Push on main CodeQL #148: by senegrom
1m 47s main
main
1m 47s
Preserve viewed layouts across export, delayed imports, and stale tog… Application checks #81: Commit 44a76ce pushed by senegrom
1m 54s main
main
1m 54s
Push on main CodeQL #147: by senegrom
1m 19s main
main
1m 19s
Merge four single-importer modules and inline eleven more lemmas State law N+4 #85: Commit cd79751 pushed by senegrom
43s main
main
43s
Push on main CodeQL #146: by senegrom
1m 21s main
main
1m 21s
Inline twenty single-use lemmas and fold TrackEndpointMatching away State law N+4 #84: Commit 48495fa pushed by senegrom
34s main
main
34s
Push on main CodeQL #145: by senegrom
1m 21s main
main
1m 21s
Skip application CI for theory documentation and paper changes Application checks #80: Commit 7cca994 pushed by senegrom
2m 22s main
main
2m 22s
Push on main CodeQL #144: by senegrom
1m 16s main
main
1m 16s
Replace the Lean guide's changelog with a size section Application checks #79: Commit 33a3196 pushed by senegrom
2m 1s main
main
2m 1s
Replace the Lean guide's changelog with a size section State law N+4 #83: Commit 33a3196 pushed by senegrom
38s main
main
38s
Push on main CodeQL #143: by senegrom
1m 12s main
main
1m 12s
Repeat stay splices directly and return traversal phases with their c… State law N+4 #82: Commit 56b4f4d pushed by senegrom
37s main
main
37s
Repeat stay splices directly and return traversal phases with their c… Application checks #78: Commit 56b4f4d pushed by senegrom
1m 59s main
main
1m 59s
Push on main CodeQL #142: by senegrom
1m 13s main
main
1m 13s
Close arbitrary lobe excursions with one selected-route invariant State law N+4 #81: Commit 6ea40a6 pushed by senegrom
38s main
main
38s
Close arbitrary lobe excursions with one selected-route invariant Application checks #77: Commit 6ea40a6 pushed by senegrom
1m 55s main
main
1m 55s
Push on main CodeQL #141: by senegrom
1m 22s main
main
1m 22s
Unify manufactured pair covers with one boundary invariant Application checks #76: Commit 818136f pushed by senegrom
1m 30s main
main
1m 30s
Unify manufactured pair covers with one boundary invariant State law N+4 #80: Commit 818136f pushed by senegrom
41s main
main
41s
Push on main CodeQL #140: by senegrom
1m 15s main
main
1m 15s
Count productive steps directly and share grooved reverse replay Application checks #75: Commit 8d385de pushed by senegrom
1m 53s main
main
1m 53s