Skip to content

Actions: themathqueen/mathlib4

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
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #354: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #15687: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #13611: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #6551: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #15686: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #13610: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #6550: Scheduled
3s master
master
3s
Dependent Issues Dependent Issues #15685: Scheduled
Skipped master
master
Skipped
Merge conflicts Merge conflicts #13609: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #6549: Scheduled
2s master
master
2s
Dependent Issues Dependent Issues #15684: Scheduled
Skipped master
master
Skipped
Merge master to nightly Merge master to nightly #1282: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #13608: 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. #2580: completed by themathqueen
1s
1s
Export workflow telemetry Export workflow telemetry #248: completed by themathqueen
1s
1s
Zulip emoji CI status Zulip emoji CI status #320: completed by themathqueen
1s
1s
Zulip emoji CI status Zulip emoji CI status #319: requested by themathqueen
1s
1s
Merge branch 'master' into extreme_unital Run pre-commit and in-place update PR on push #1555: Commit 0f63a2d pushed by themathqueen
34s extreme_unital
extreme_unital
34s
Merge branch 'master' into extreme_unital continuous integration #2581: Commit 0f63a2d pushed by themathqueen
1s extreme_unital
extreme_unital
1s
docker docker #309: Scheduled
2s master
master
2s
Update Mathlib Dependencies Update Mathlib Dependencies #6548: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #309: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #15683: Scheduled
Skipped master
master
Skipped
Merge conflicts Merge conflicts #13607: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #6547: Scheduled
1s master
master
1s