Skip to content

Actions: apnelson1/Matroid

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
288 workflow runs
288 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly doc-gen deployment Nightly doc-gen deployment #107: Scheduled
2m 15s main
main
2m 15s
comment out sorry CI #181: Commit 2c0c3a6 pushed by Jun2M
4m 23s main
main
4m 23s
IsTour & isForest_iff_isTrail_eq_eq CI #180: Commit 810cdb8 pushed by Jun2M
4m 56s main
main
4m 56s
Nightly doc-gen deployment Nightly doc-gen deployment #106: Scheduled
2m 0s main
main
2m 0s
Nightly doc-gen deployment Nightly doc-gen deployment #105: Scheduled
1m 51s main
main
1m 51s
cycleMatroid_isRestriction_of_isLink CI #179: Commit dca9722 pushed by Jun2M
9m 30s main
main
9m 30s
Nightly doc-gen deployment Nightly doc-gen deployment #104: Scheduled
2m 18s main
main
2m 18s
Nightly doc-gen deployment Nightly doc-gen deployment #103: Scheduled
1m 52s main
main
1m 52s
Nightly doc-gen deployment Nightly doc-gen deployment #102: Scheduled
1m 59s main
main
1m 59s
Nightly doc-gen deployment Nightly doc-gen deployment #101: Scheduled
1m 56s main
main
1m 56s
drp wip CI #178: Commit b199044 pushed by Jun2M
3m 54s main
main
3m 54s
Nightly doc-gen deployment Nightly doc-gen deployment #100: Scheduled
1m 54s main
main
1m 54s
Nightly doc-gen deployment Nightly doc-gen deployment #99: Scheduled
2m 1s main
main
2m 1s
Mathlib update CI #177: Commit 994bde3 pushed by Jun2M
9m 6s main
main
9m 6s
spelling CI #176: Commit b94ecd5 pushed by apnelson1
5m 45s main
main
5m 45s
wip CI #175: Commit 3018b47 pushed by apnelson1
5m 26s main
main
5m 26s
wip CI #174: Commit 586dd2e pushed by apnelson1
4m 28s main
main
4m 28s
wip CI #173: Commit 723d847 pushed by apnelson1
5m 44s main
main
5m 44s
Nightly doc-gen deployment Nightly doc-gen deployment #98: Scheduled
1m 56s main
main
1m 56s
wip CI #172: Commit 1c08d62 pushed by apnelson1
6m 50s main
main
6m 50s
golfing Hamiltonian cycle stuff CI #171: Commit 306a4db pushed by Jun2M
3m 49s main
main
3m 49s
Nightly doc-gen deployment Nightly doc-gen deployment #97: Scheduled
2m 10s main
main
2m 10s
Chore CI #170: Commit 954daf9 pushed by Jun2M
3m 57s main
main
3m 57s
Nightly doc-gen deployment Nightly doc-gen deployment #96: Scheduled
1m 54s main
main
1m 54s
IsSep & golfing CI #169: Commit 49da4b6 pushed by Jun2M
7m 11s main
main
7m 11s