Skip to content

Actions: cjrl/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
Merge conflicts Merge conflicts #2875: Scheduled
1s lr_ls_m_coe
lr_ls_m_coe
1s
Dependent Issues Dependent Issues #2764: Scheduled
8s lr_ls_m_coe
lr_ls_m_coe
8s
Zulip emoji CI status Zulip emoji CI status #292: completed by ghseeli
8s
8s
Export workflow telemetry Export workflow telemetry #196: completed by ghseeli
9s
9s
Declarations diff (post-build) Declarations diff (post-build) #21: completed by ghseeli
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #200: completed by ghseeli
2s
2s
Zulip emoji CI status Zulip emoji CI status #291: requested by ghseeli
Skipped
Skipped
Fixed rename of set-valued pigeonhole principle. continuous integration #200: Commit 868e45a pushed by ghseeli
1s lr_ls_m_coe
lr_ls_m_coe
1s
Fixed rename of set-valued pigeonhole principle. Run pre-commit and in-place update PR on push #193: Commit 868e45a pushed by ghseeli
31s lr_ls_m_coe
lr_ls_m_coe
31s
Merge conflicts Merge conflicts #2874: Scheduled
7s lr_ls_m_coe
lr_ls_m_coe
7s
Update Mathlib Dependencies Update Mathlib Dependencies #2203: Scheduled
1s lr_ls_m_coe
lr_ls_m_coe
1s
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #511: Scheduled
1s lr_ls_m_coe
lr_ls_m_coe
1s
Dependent Issues Dependent Issues #2763: Scheduled
1s lr_ls_m_coe
lr_ls_m_coe
1s
Merge conflicts Merge conflicts #2873: Scheduled
11s lr_ls_m_coe
lr_ls_m_coe
11s
Update Mathlib Dependencies Update Mathlib Dependencies #2202: Scheduled
6s lr_ls_m_coe
lr_ls_m_coe
6s
Dependent Issues Dependent Issues #2762: Scheduled
1s lr_ls_m_coe
lr_ls_m_coe
1s
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #510: Scheduled
1s lr_ls_m_coe
lr_ls_m_coe
1s
Merge conflicts Merge conflicts #2872: Scheduled
1s lr_ls_m_coe
lr_ls_m_coe
1s
Update Mathlib Dependencies Update Mathlib Dependencies #2201: Scheduled
Skipped lr_ls_m_coe
lr_ls_m_coe
Skipped
Dependent Issues Dependent Issues #2761: Scheduled
7s lr_ls_m_coe
lr_ls_m_coe
7s
Merge conflicts Merge conflicts #2871: Scheduled
7s lr_ls_m_coe
lr_ls_m_coe
7s
Update Mathlib Dependencies Update Mathlib Dependencies #2200: Scheduled
1s lr_ls_m_coe
lr_ls_m_coe
1s
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #509: Scheduled
1s lr_ls_m_coe
lr_ls_m_coe
1s
Dependent Issues Dependent Issues #2760: Scheduled
1s lr_ls_m_coe
lr_ls_m_coe
1s
Merge conflicts Merge conflicts #2870: Scheduled
11s lr_ls_m_coe
lr_ls_m_coe
11s