Skip to content

Actions: grunweg/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
Dependent Issues Dependent Issues #16256: Scheduled
9s master
master
9s
Update Mathlib Dependencies Update Mathlib Dependencies #7417: Scheduled
2s master
master
2s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1887: Scheduled
1s master
master
1s
Merge master to nightly Merge master to nightly #2880: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #18371: Scheduled
10s master
master
10s
Dependent Issues Dependent Issues #16255: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #7416: Scheduled
7s master
master
7s
Merge conflicts Merge conflicts #18370: Scheduled
1s master
master
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1886: Scheduled
2s master
master
2s
Dependent Issues Dependent Issues #16254: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #18369: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #7415: Scheduled
8s master
master
8s
Merge master to nightly Merge master to nightly #2879: Scheduled
3s master
master
3s
Dependent Issues Dependent Issues #16253: Scheduled
1s master
master
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1885: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #18368: Scheduled
6s master
master
6s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3558: completed by grunweg
1s
1s
Revert aesop-relevant change continuous integration #3559: Commit 8b49a64 pushed by grunweg
1s localisesetopion
localisesetopion
1s
Revert aesop-relevant change Run pre-commit and in-place update PR on push #2645: Commit 8b49a64 pushed by grunweg
23s localisesetopion
localisesetopion
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3557: completed by grunweg
1s
1s
chore: remove interesting import, to investigate continuous integration #3558: Commit 7c4087e pushed by grunweg
1s slow-import2
slow-import2
1s
chore: remove interesting import, to investigate Run pre-commit and in-place update PR on push #2644: Commit 7c4087e pushed by grunweg
32s slow-import2
slow-import2
32s
Update Mathlib Dependencies Update Mathlib Dependencies #7414: Scheduled
6s master
master
6s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3556: completed by grunweg
1s
1s
chore: localise use of the backward.privateInPublic option more continuous integration #3557: Commit bf94353 pushed by grunweg
1s localisesetopion
localisesetopion
1s