Skip to content

Actions: leanprover/cslib

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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2262: completed by lengyijun
2s
2s
feat(FullBetaEta): redex_app_l_cong redex_app_r_cong Check PR title for commit convention #2319: Pull request #571 synchronize by lengyijun
6s lengyijun:fullbetaeta
lengyijun:fullbetaeta
6s
feat(FullBetaEta): redex_app_l_cong redex_app_r_cong Lean Action CI #3459: Pull request #571 synchronize by lengyijun
8m 31s lengyijun:fullbetaeta
lengyijun:fullbetaeta
8m 31s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2261: completed by lengyijun
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2260: completed by lengyijun
1s
1s
feat(FullBetaEta): redex_app_l_cong redex_app_r_cong Check PR title for commit convention #2318: Pull request #571 synchronize by lengyijun
8s lengyijun:fullbetaeta
lengyijun:fullbetaeta
8s
feat(FullBetaEta): redex_app_l_cong redex_app_r_cong Lean Action CI #3458: Pull request #571 synchronize by lengyijun
7m 36s lengyijun:fullbetaeta
lengyijun:fullbetaeta
7m 36s
feat(FullBetaEta): redex_app_l_cong redex_app_r_cong Lean Action CI #3457: Pull request #571 opened by lengyijun
7m 44s lengyijun:fullbetaeta
lengyijun:fullbetaeta
7m 44s
feat(FullBetaEta): redex_app_l_cong redex_app_r_cong Check PR title for commit convention #2317: Pull request #571 opened by lengyijun
6s lengyijun:fullbetaeta
lengyijun:fullbetaeta
6s
Merge main to nightly-testing Merge main to nightly-testing #1963: Scheduled
1m 6s main
main
1m 6s
simple functional queue from Okasaki Check PR title for commit convention #2316: Pull request #558 synchronize by c-cube
Action required c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
Action required
simple functional queue from Okasaki Lean Action CI #3456: Pull request #558 synchronize by c-cube
Action required c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
Action required
simple functional queue from Okasaki Check PR title for commit convention #2315: Pull request #558 synchronize by c-cube
Action required c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
Action required
simple functional queue from Okasaki Lean Action CI #3455: Pull request #558 synchronize by c-cube
Action required c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
Action required
Merge main to nightly-testing Merge main to nightly-testing #1962: Scheduled
1m 3s main
main
1m 3s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1239: Scheduled
21s main
main
21s
Merge main to nightly-testing Merge main to nightly-testing #1961: Scheduled
1m 12s main
main
1m 12s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2259: completed by mathlib-nightly-testing Bot
1s
1s
chore: Bump mathlib dependency to 7e2ece3 Check PR title for commit convention #2314: Pull request #552 synchronize by mathlib-nightly-testing Bot
9s hopscotch/lkg-bump
hopscotch/lkg-bump
9s
chore: Bump mathlib dependency to 7e2ece3 Lean Action CI #3454: Pull request #552 synchronize by mathlib-nightly-testing Bot
9m 57s hopscotch/lkg-bump
hopscotch/lkg-bump
9m 57s
chore: Bump mathlib dependency to 7e2ece3 Check PR title for commit convention #2313: Pull request #552 edited by mathlib-nightly-testing Bot
9s hopscotch/lkg-bump
hopscotch/lkg-bump
9s
Bump mathlib to LKG Bump mathlib to LKG #52: Scheduled
4m 45s main
main
4m 45s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1238: Scheduled
24s main
main
24s
Merge main to nightly-testing Merge main to nightly-testing #1960: Scheduled
1m 8s main
main
1m 8s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1237: Scheduled
27s main
main
27s