Skip to content

Actions: apnelson1/Matroid

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
698 workflow runs
698 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
WIP CI #468: Commit 76e5e2a pushed by dillon128
2m 45s main
main
2m 45s
WIP CI #467: Commit 93e859b pushed by dillon128
2m 1s main
main
2m 1s
mathlib update CI #466: Commit dea42fc pushed by Jun2M
56m 27s main
main
56m 27s
mathlib update CI #465: Commit 60bda4a pushed by Jun2M
8m 2s wip/matroid-hypergraphlike
wip/matroid-hypergraphlike
8m 2s
wip CI #464: Commit dd31287 pushed by apnelson1
7m 34s main
main
7m 34s
wip CI #463: Commit 09177e2 pushed by apnelson1
7m 58s main
main
7m 58s
wip CI #462: Commit 1c65871 pushed by apnelson1
7m 40s main
main
7m 40s
wip CI #461: Commit 2c0fdbe pushed by apnelson1
6m 58s main
main
6m 58s
wip CI #460: Commit bf4227e pushed by apnelson1
8m 6s main
main
8m 6s
wip CI #459: Commit 8a0af92 pushed by apnelson1
13m 57s main
main
13m 57s
wip CI #458: Commit 2b92ee3 pushed by apnelson1
11m 56s main
main
11m 56s
irw CI #457: Commit 977877f pushed by Jun2M
39m 11s main
main
39m 11s
Merge branch 'main' of https://github.com/apnelson1/Matroid CI #456: Commit 77ceb32 pushed by apnelson1
9m 1s main
main
9m 1s
Mathlib update CI #455: Commit 86a8d84 pushed by Jun2M
56m 31s main
main
56m 31s
IsoEquiv for arbitary iso? CI #454: Commit c417323 pushed by Jun2M
48m 2s main
main
48m 2s
wip CI #453: Commit f44939f pushed by apnelson1
9m 6s main
main
9m 6s
Merge branch 'main' of https://github.com/apnelson1/Matroid CI #452: Commit b58f462 pushed by apnelson1
7m 34s main
main
7m 34s
quick fix CI #451: Commit 7f60952 pushed by Jun2M
43m 47s main
main
43m 47s
Topological Minor & no crosscut CI #450: Commit ef025c6 pushed by Jun2M
9m 15s main
main
9m 15s
wip CI #449: Commit 1429c64 pushed by apnelson1
5m 15s main
main
5m 15s
wip CI #448: Commit e3a1297 pushed by apnelson1
3m 39s main
main
3m 39s
Merge branch 'main' of https://github.com/apnelson1/Matroid CI #447: Commit 1d8620a pushed by apnelson1
5m 0s main
main
5m 0s
IsoAction CI #446: Commit 5fff5f8 pushed by Jun2M
45m 9s main
main
45m 9s
Merge branch 'main' of https://github.com/apnelson1/Matroid CI #445: Commit da52e3f pushed by apnelson1
6m 9s main
main
6m 9s
golf CI #444: Commit 5b0c6ae pushed by Jun2M
47m 41s main
main
47m 41s