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
Merge conflicts Merge conflicts #23922: Scheduled
1s nightly-testing
nightly-testing
1s
Update Mathlib Dependencies Update Mathlib Dependencies #8416: Scheduled
8s nightly-testing
nightly-testing
8s
Dependent Issues Dependent Issues #25428: Scheduled
10s nightly-testing
nightly-testing
10s
Merge conflicts Merge conflicts #23921: Scheduled
6s nightly-testing
nightly-testing
6s
Dependent Issues Dependent Issues #25427: Scheduled
1s nightly-testing
nightly-testing
1s
Declarations diff (post-build) Declarations diff (post-build) #593: completed by mathlib-nightly-testing Bot
1s
1s
Zulip emoji CI status Zulip emoji CI status #6442: completed by mathlib-nightly-testing Bot
5s
5s
Export workflow telemetry Export workflow telemetry #3718: completed by mathlib-nightly-testing Bot
6s
6s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9421: completed by mathlib-nightly-testing Bot
1s
1s
Zulip emoji CI status Zulip emoji CI status #6441: requested by mathlib-nightly-testing Bot
8s
8s
chore: adaptations for nightly-2026-06-30 continuous integration #9655: Commit a8eaea5 pushed by mathlib-nightly-testing Bot
9m 1s nightly-testing-green
nightly-testing-green
9m 1s
chore: adaptations for nightly-2026-06-30 Run pre-commit and in-place update PR on push #6663: Commit a8eaea5 pushed by mathlib-nightly-testing Bot
25s nightly-testing-green
nightly-testing-green
25s
Zulip emoji CI status Zulip emoji CI status #6440: completed by mathlib-nightly-testing Bot
16s
16s
Declarations diff (post-build) Declarations diff (post-build) #592: completed by mathlib-nightly-testing Bot
1s
1s
Export workflow telemetry Export workflow telemetry #3717: completed by mathlib-nightly-testing Bot
9s
9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9420: completed by mathlib-nightly-testing Bot
1s
1s
Zulip emoji CI status Zulip emoji CI status #6439: completed by mathlib-nightly-testing Bot
8s
8s
Export workflow telemetry Export workflow telemetry #3716: completed by mathlib-nightly-testing Bot
7s
7s
Declarations diff (post-build) Declarations diff (post-build) #591: completed by mathlib-nightly-testing Bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9419: completed by mathlib-nightly-testing Bot
9m 46s
9m 46s
Update Mathlib Dependencies Update Mathlib Dependencies #8415: Scheduled
1s nightly-testing
nightly-testing
1s
Zulip emoji CI status Zulip emoji CI status #6438: completed by mathlib-nightly-testing Bot
6s
6s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9418: completed by mathlib-nightly-testing Bot
7s
7s
Export workflow telemetry Export workflow telemetry #3715: completed by mathlib-nightly-testing Bot
8s
8s
Declarations diff (post-build) Declarations diff (post-build) #590: completed by mathlib-nightly-testing Bot
10s
10s