Skip to content

Actions: themathqueen/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38,104 workflow runs
38,104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2255: completed by themathqueen
Skipped
Skipped
final final cleanup, promise Run pre-commit and in-place update PR on push #1243: Commit 971cff8 pushed by themathqueen
26s coalgebra_pi
coalgebra_pi
26s
final final cleanup, promise continuous integration #2256: Commit 971cff8 pushed by themathqueen
2s coalgebra_pi
coalgebra_pi
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2254: completed by themathqueen
1s
1s
cleanup continuous integration #2255: Commit d0f3e00 pushed by themathqueen
2s coalgebra_pi
coalgebra_pi
2s
cleanup Run pre-commit and in-place update PR on push #1242: Commit d0f3e00 pushed by themathqueen
22s coalgebra_pi
coalgebra_pi
22s
Update Mathlib Dependencies Update Mathlib Dependencies #4728: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #12964: Scheduled
1s master
master
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1064: Scheduled
1s master
master
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2253: completed by themathqueen
1s
1s
generalize Run pre-commit and in-place update PR on push #1241: Commit fed1198 pushed by themathqueen
26s coalgebra_pi
coalgebra_pi
26s
generalize continuous integration #2254: Commit fed1198 pushed by themathqueen
1s coalgebra_pi
coalgebra_pi
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2252: completed by themathqueen
1s
1s
more golfs continuous integration #2253: Commit 6208032 pushed by themathqueen
3s coalgebra_pi
coalgebra_pi
3s
more golfs Run pre-commit and in-place update PR on push #1240: Commit 6208032 pushed by themathqueen
23s coalgebra_pi
coalgebra_pi
23s
Merge conflicts Merge conflicts #11186: Scheduled
1s master
master
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2251: completed by themathqueen
2s
2s
add module doc Run pre-commit and in-place update PR on push #1239: Commit 45c266b pushed by themathqueen
28s coalgebra_pi
coalgebra_pi
28s
add module doc continuous integration #2252: Commit 45c266b pushed by themathqueen
1s coalgebra_pi
coalgebra_pi
1s
Dependent Issues Dependent Issues #12963: Scheduled
1s master
master
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2250: completed by themathqueen
1s
1s
golf Run pre-commit and in-place update PR on push #1238: Commit 5831969 pushed by themathqueen
24s coalgebra_pi
coalgebra_pi
24s
golf continuous integration #2251: Commit 5831969 pushed by themathqueen
2s coalgebra_pi
coalgebra_pi
2s
Merge conflicts Merge conflicts #11185: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #4727: Scheduled
1s master
master
1s