Skip to content

Actions: leanprover-community/mathlib4-nightly-testing

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
Dependent Issues Dependent Issues #23109: Scheduled
2s nightly-testing
nightly-testing
2s
Merge conflicts Merge conflicts #21750: Scheduled
1s nightly-testing
nightly-testing
1s
Dependent Issues Dependent Issues #23108: Scheduled
1s nightly-testing
nightly-testing
1s
Update Mathlib Dependencies Update Mathlib Dependencies #7018: Scheduled
9s nightly-testing
nightly-testing
9s
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #368: Scheduled
1m 2s nightly-testing
nightly-testing
1m 2s
Merge conflicts Merge conflicts #21749: Scheduled
1s nightly-testing
nightly-testing
1s
Dependent Issues Dependent Issues #23107: Scheduled
1s nightly-testing
nightly-testing
1s
Merge conflicts Merge conflicts #21748: Scheduled
1s nightly-testing
nightly-testing
1s
Dependent Issues Dependent Issues #23106: Scheduled
1s nightly-testing
nightly-testing
1s
Update Mathlib Dependencies Update Mathlib Dependencies #7017: Scheduled
1s nightly-testing
nightly-testing
1s
Merge conflicts Merge conflicts #21747: Scheduled
1s nightly-testing
nightly-testing
1s
Dependent Issues Dependent Issues #23105: Scheduled
1s nightly-testing
nightly-testing
1s
Export workflow telemetry Export workflow telemetry #1930: completed by mathlib-nightly-testing bot
7s
7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7822: completed by mathlib-nightly-testing bot
1s
1s
Zulip emoji CI status Zulip emoji CI status #2902: completed by mathlib-nightly-testing bot
6s
6s
Merge conflicts Merge conflicts #21746: Scheduled
1s nightly-testing
nightly-testing
1s
Dependent Issues Dependent Issues #23104: Scheduled
1s nightly-testing
nightly-testing
1s
Update Mathlib Dependencies Update Mathlib Dependencies #7016: Scheduled
1s nightly-testing
nightly-testing
1s
Merge conflicts Merge conflicts #21745: Scheduled
1s nightly-testing
nightly-testing
1s
Dependent Issues Dependent Issues #23103: Scheduled
1s nightly-testing
nightly-testing
1s
Zulip emoji CI status Zulip emoji CI status #2901: requested by mathlib-nightly-testing bot
7s
7s
Update lean-toolchain for testing https://github.com/leanprover/lean4… continuous integration #8062: Commit ed01f49 pushed by mathlib-nightly-testing bot
58m 26s lean-pr-testing-13391
lean-pr-testing-13391
58m 26s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Run pre-commit and in-place update PR on push #4930: Commit ed01f49 pushed by mathlib-nightly-testing bot
28s lean-pr-testing-13391
lean-pr-testing-13391
28s
Dependent Issues Dependent Issues #23102: Scheduled
1s nightly-testing
nightly-testing
1s
Merge conflicts Merge conflicts #21744: Scheduled
1s nightly-testing
nightly-testing
1s
⚡