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
feat: Create Asymptotics/GrowthRates Lean Action CI #3594: Pull request #468 synchronize by Timeroot
Action required Timeroot:growthrates_1
Timeroot:growthrates_1
Action required
feat: Create Asymptotics/GrowthRates Check PR title for commit convention #2484: Pull request #468 synchronize by Timeroot
Action required Timeroot:growthrates_1
Timeroot:growthrates_1
Action required
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2370: completed by Timeroot
1s
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1279: Scheduled
1m 0s main
main
1m 0s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2369: completed by mathlib-nightly-testing Bot
23s
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2368: completed by github-merge-queue Bot
1s
1s
Merge main into nightly-testing Lean Action CI #3593: Commit 6e44702 pushed by mathlib-nightly-testing Bot
9m 16s nightly-testing
nightly-testing
9m 16s
Merge main to nightly-testing Merge main to nightly-testing #2024: Scheduled
1m 0s main
main
1m 0s
chore: bump toolchain to v4.30.0 (#601) Run TODO to Issue #272: Commit c7944a9 pushed by github-merge-queue Bot
12s main
main
12s
chore: bump toolchain to v4.30.0 (#601) Lean Action CI #3592: Commit c7944a9 pushed by github-merge-queue Bot
9m 9s main
main
9m 9s
chore: bump toolchain to v4.30.0 (#601) Build and Deploy Documentation #186: Commit c7944a9 pushed by github-merge-queue Bot
45m 11s main
main
45m 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2367: completed by Garmelon
7s
7s
Lean Action CI Lean Action CI #3591: Merge group checks requested
8m 54s
8m 54s
Check PR title for commit convention Check PR title for commit convention #2483: Merge group checks requested
6s
6s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2366: completed by ctchou
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2365: completed by ctchou
1s
1s
feat(FLP): distributed algorithms for solving the consensus problem Check PR title for commit convention #2482: Pull request #556 synchronize by ctchou
6s ctchou:flp-algorithm
ctchou:flp-algorithm
6s
feat(FLP): distributed algorithms for solving the consensus problem Lean Action CI #3590: Pull request #556 synchronize by ctchou
5m 52s ctchou:flp-algorithm
ctchou:flp-algorithm
5m 52s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2364: completed by mathlib-nightly-testing Bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2363: completed by Garmelon
1s
1s
feat: proof of Myhill-Nerode theorem for DFAs Check PR title for commit convention #2481: Pull request #491 synchronize by ctchou
11s akhilesh-balaji:myhill-nerode
akhilesh-balaji:myhill-nerode
11s
feat: proof of Myhill-Nerode theorem for DFAs Lean Action CI #3589: Pull request #491 synchronize by ctchou
5m 22s akhilesh-balaji:myhill-nerode
akhilesh-balaji:myhill-nerode
5m 22s
chore: Bump mathlib dependency to ef85408 Check PR title for commit convention #2480: Pull request #598 edited by mathlib-nightly-testing Bot
8s hopscotch/lkg-bump
hopscotch/lkg-bump
8s
chore: Bump mathlib dependency to ef85408 Check PR title for commit convention #2479: Pull request #598 synchronize by mathlib-nightly-testing Bot
9s hopscotch/lkg-bump
hopscotch/lkg-bump
9s
chore: Bump mathlib dependency to ef85408 Lean Action CI #3588: Pull request #598 synchronize by mathlib-nightly-testing Bot
10m 5s hopscotch/lkg-bump
hopscotch/lkg-bump
10m 5s