Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main to nightly-testing Merge main to nightly-testing #1346: Scheduled
1m 0s main
main
1m 0s
Define the category of LTSs Lean Action CI #2333: Pull request #391 opened by ayberkt
Action required ayberkt:main
ayberkt:main
Action required
Define the category of LTSs Check PR title for commit convention #1296: Pull request #391 opened by ayberkt
Action required ayberkt:main
ayberkt:main
Action required
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1283: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms theory Lean Action CI #2332: Pull request #372 synchronize by Shreyas4991
8m 21s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
8m 21s
feat: query complexity model for algorithms theory Check PR title for commit convention #1295: Pull request #372 synchronize by Shreyas4991
8s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1282: completed by Shreyas4991
7s
7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1281: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms theory Lean Action CI #2331: Pull request #372 synchronize by Shreyas4991
6m 50s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
6m 50s
feat: query complexity model for algorithms theory Check PR title for commit convention #1294: Pull request #372 synchronize by Shreyas4991
7s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
7s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #851: Scheduled
21s main
main
21s
feat: query complexity model for algorithms theory Check PR title for commit convention #1293: Pull request #372 synchronize by Shreyas4991
8s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
8s
feat: query complexity model for algorithms theory Lean Action CI #2330: Pull request #372 synchronize by Shreyas4991
8m 40s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
8m 40s
Merge main to nightly-testing Merge main to nightly-testing #1345: Scheduled
1m 8s main
main
1m 8s
doc(Boole): document SMT setup for cvc5 dynlib Lean Action CI #2329: Pull request #389 synchronize by Robertboy18
Action required Robertboy18:doc/boole-smt-setup
Robertboy18:doc/boole-smt-setup
Action required
doc(Boole): document SMT setup for cvc5 dynlib Check PR title for commit convention #1292: Pull request #389 synchronize by Robertboy18
Action required Robertboy18:doc/boole-smt-setup
Robertboy18:doc/boole-smt-setup
Action required
Copilot code review Copilot code review #3: by Copilot AI
4m 13s refs/pull/389/head
refs/pull/389/head
4m 13s
doc(Boole): document SMT setup for cvc5 dynlib Check PR title for commit convention #1291: Pull request #389 opened by Robertboy18
Action required Robertboy18:doc/boole-smt-setup
Robertboy18:doc/boole-smt-setup
Action required
doc(Boole): document SMT setup for cvc5 dynlib Lean Action CI #2328: Pull request #389 opened by Robertboy18
Action required Robertboy18:doc/boole-smt-setup
Robertboy18:doc/boole-smt-setup
Action required
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1280: completed by Shreyas4991
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1279: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms theory Lean Action CI #2327: Pull request #372 synchronize by Shreyas4991
7m 1s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
7m 1s
feat: query complexity model for algorithms theory Check PR title for commit convention #1290: Pull request #372 synchronize by Shreyas4991
9s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
9s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #850: Scheduled
22s main
main
22s
feat: query complexity model for algorithms theory Check PR title for commit convention #1289: Pull request #372 synchronize by Shreyas4991
8s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
8s