Skip to content

Actions: plp127/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7,661 workflow runs
7,661 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #431: completed by plp127
1s
1s
add functionality continuous integration #431: Commit 2072e71 pushed by plp127
1s aliu/set
aliu/set
1s
add functionality Run pre-commit and in-place update PR on push #114: Commit 2072e71 pushed by plp127
29s aliu/set
aliu/set
29s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #983: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #3502: Scheduled
1s master
master
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #430: completed by plp127
1s
1s
fix Run pre-commit and in-place update PR on push #113: Commit 2c307f9 pushed by plp127
26s aliu/wlog
aliu/wlog
26s
fix continuous integration #430: Commit 2c307f9 pushed by plp127
1s aliu/wlog
aliu/wlog
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #429: completed by plp127
1s
1s
feat(Analysis/Complex): exp is covering map (#33564) continuous integration #429: Commit b66f9a3 pushed by plp127
1s master
master
1s
feat(Analysis/Complex): exp is covering map (#33564) Autolabel PRs #19: Commit b66f9a3 pushed by plp127
10s master
master
10s
feat(Analysis/Complex): exp is covering map (#33564) Zulip emoji merge update #126: Commit b66f9a3 pushed by plp127
2s master
master
2s
Update Mathlib Dependencies Update Mathlib Dependencies #3501: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #3500: Scheduled
1s master
master
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #982: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #3499: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #3498: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #3497: Scheduled
2s master
master
2s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #981: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #3496: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #3495: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #3494: Scheduled
1s master
master
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #980: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #3493: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #3492: Scheduled
1s master
master
1s