Skip to content

Actions: tb65536/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 #17888: Scheduled
6s master
master
6s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #2187: Scheduled
8s master
master
8s
Update Mathlib Dependencies Update Mathlib Dependencies #8130: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #19011: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #17887: Scheduled
9s master
master
9s
Merge master to nightly Merge master to nightly #3339: Scheduled
8s master
master
8s
Merge conflicts Merge conflicts #19010: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #8129: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #17886: Scheduled
1s master
master
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #2186: Scheduled
7s master
master
7s
Merge master to nightly Merge master to nightly #3338: Scheduled
10s master
master
10s
Merge conflicts Merge conflicts #19009: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #8128: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #17885: Scheduled
Skipped master
master
Skipped
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2490: completed by tb65536
9s
9s
merge continuous integration #2489: Commit 8e15dd5 pushed by tb65536
1s tb_selmer2
tb_selmer2
1s
merge Run pre-commit and in-place update PR on push #2401: Commit 8e15dd5 pushed by tb65536
25s tb_selmer2
tb_selmer2
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2489: completed by tb65536
1s
1s
fix continuous integration #2488: Commit 21c5d9a pushed by tb65536
9s tb_ismulfg3
tb_ismulfg3
9s
fix Run pre-commit and in-place update PR on push #2400: Commit 21c5d9a pushed by tb65536
22s tb_ismulfg3
tb_ismulfg3
22s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #2185: Scheduled
10s master
master
10s
Merge conflicts Merge conflicts #19008: Scheduled
Skipped master
master
Skipped
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2488: completed by tb65536
1s
1s
fix continuous integration #2487: Commit cd1caa2 pushed by tb65536
2s tb_ismulfg3
tb_ismulfg3
2s
fix Run pre-commit and in-place update PR on push #2399: Commit cd1caa2 pushed by tb65536
25s tb_ismulfg3
tb_ismulfg3
25s