Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #818: Scheduled
20s main
main
20s
Merge main to nightly-testing Merge main to nightly-testing #1294: Scheduled
1m 15s main
main
1m 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1172: completed by mathlib-nightly-testing bot
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1171: completed by mathlib-nightly-testing bot
15s
15s
chore: adaptations for nightly-2026-02-23-rev1 Lean Action CI #2188: Commit d919360 pushed by mathlib-nightly-testing bot
5m 1s nightly-testing
nightly-testing
5m 1s
chore: adaptations for nightly-2026-02-23-rev1 Check PR title for commit convention #1157: Pull request #367 opened by mathlib-nightly-testing bot
9s bump/nightly-2026-02-23-rev1
bump/nightly-2026-02-23-rev1
9s
chore: adaptations for nightly-2026-02-23-rev1 Lean Action CI #2187: Pull request #367 opened by mathlib-nightly-testing bot
8m 31s bump/nightly-2026-02-23-rev1
bump/nightly-2026-02-23-rev1
8m 31s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1170: completed by mathlib-nightly-testing bot
24s
24s
chore: bump to nightly-2026-02-23-rev1 with mathlib at nightly-testin… Lean Action CI #2186: Commit c98fb7e pushed by mathlib-nightly-testing bot
8m 41s nightly-testing
nightly-testing
8m 41s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #817: Scheduled
1m 11s main
main
1m 11s
Merge main to nightly-testing Merge main to nightly-testing #1293: Scheduled
56s main
main
56s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1169: completed by ctchou
1s
1s
Merge main to nightly-testing Merge main to nightly-testing #1292: Scheduled
54s main
main
54s
feat: query complexity model for algorithms Check PR title for commit convention #1156: Pull request #275 edited by Shreyas4991
7s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
7s
Merge main to nightly-testing Merge main to nightly-testing #1291: Scheduled
1m 8s main
main
1m 8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1168: completed by Shreyas4991
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1167: completed by Shreyas4991
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1166: completed by Shreyas4991
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1165: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms Check PR title for commit convention #1155: Pull request #275 synchronize by Shreyas4991
7s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
7s
feat: query complexity model for algorithms Lean Action CI #2185: Pull request #275 synchronize by Shreyas4991
6m 32s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
6m 32s
feat: query complexity model for algorithms Lean Action CI #2184: Pull request #275 synchronize by Shreyas4991
10m 3s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
10m 3s
feat: query complexity model for algorithms Check PR title for commit convention #1154: Pull request #275 synchronize by Shreyas4991
4s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
4s
feat: query complexity model for algorithms Lean Action CI #2183: Pull request #275 synchronize by Shreyas4991
6m 1s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
6m 1s
feat: query complexity model for algorithms Check PR title for commit convention #1153: Pull request #275 synchronize by Shreyas4991
7s Shreyas4991:query-complexity-freeM-shreyas
Shreyas4991:query-complexity-freeM-shreyas
7s