Skip to content

Actions: themathqueen/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37,776 workflow runs
37,776 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #11117: Scheduled
5s master
master
5s
Update Mathlib Dependencies Update Mathlib Dependencies #4686: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #12882: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #11116: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #4685: Scheduled
2s master
master
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2218: completed by themathqueen
Skipped
Skipped
final final cleanup continuous integration #2219: Commit 5505b60 pushed by themathqueen
2s euclideanSpace_qg
euclideanSpace_qg
2s
final final cleanup Run pre-commit and in-place update PR on push #1206: Commit 5505b60 pushed by themathqueen
24s euclideanSpace_qg
euclideanSpace_qg
24s
final clanup Run pre-commit and in-place update PR on push #1205: Commit ce7af1d pushed by themathqueen
29s euclideanSpace_qg
euclideanSpace_qg
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2217: completed by themathqueen
1s
1s
final clanup continuous integration #2218: Commit ce7af1d pushed by themathqueen
2s euclideanSpace_qg
euclideanSpace_qg
2s
Dependent Issues Dependent Issues #12881: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #11115: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #4684: Scheduled
3s master
master
3s
Dependent Issues Dependent Issues #12880: Scheduled
5s master
master
5s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1054: Scheduled
5s master
master
5s
Dependent Issues Dependent Issues #12879: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #11114: Scheduled
3s master
master
3s
Update Mathlib Dependencies Update Mathlib Dependencies #4683: Scheduled
3s master
master
3s
Dependent Issues Dependent Issues #12878: Scheduled
2s master
master
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2216: completed by themathqueen
1s
1s
last fix continuous integration #2217: Commit 8da1a03 pushed by themathqueen
2s euclideanSpace_qg
euclideanSpace_qg
2s
last fix Run pre-commit and in-place update PR on push #1204: Commit 8da1a03 pushed by themathqueen
24s euclideanSpace_qg
euclideanSpace_qg
24s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2215: completed by themathqueen
1s
1s
fix doc Run pre-commit and in-place update PR on push #1203: Commit 42ee6d0 pushed by themathqueen
26s euclideanSpace_qg
euclideanSpace_qg
26s