Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7,476 workflow runs
7,476 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 #840: Scheduled
27s main
main
27s
Merge main to nightly-testing Merge main to nightly-testing #1328: Scheduled
53s main
main
53s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1260: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms theory Lean Action CI #2284: Pull request #372 synchronize by Shreyas4991
5m 35s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
5m 35s
feat: query complexity model for algorithms theory Check PR title for commit convention #1247: 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. #1259: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms theory Check PR title for commit convention #1246: Pull request #372 synchronize by Shreyas4991
6s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
6s
feat: query complexity model for algorithms theory Lean Action CI #2283: Pull request #372 synchronize by Shreyas4991
3m 34s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
3m 34s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1258: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms theory Lean Action CI #2282: Pull request #372 synchronize by Shreyas4991
6m 46s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
6m 46s
feat: query complexity model for algorithms theory Check PR title for commit convention #1245: 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 #839: Scheduled
24s main
main
24s
Merge main to nightly-testing Merge main to nightly-testing #1327: Scheduled
54s main
main
54s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #838: Scheduled
20s main
main
20s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1257: completed by mathlib-nightly-testing bot
19s
19s
Merge main into nightly-testing Lean Action CI #2281: Commit 2b18ca3 pushed by mathlib-nightly-testing bot
9m 40s nightly-testing
nightly-testing
9m 40s
Merge main to nightly-testing Merge main to nightly-testing #1326: Scheduled
56s main
main
56s
feat: Initialization of Cyber-Physical Systems library , with Lyapuno… Check PR title for commit convention #1244: Pull request #373 synchronize by BasharHamade12
Action required BasharHamade12:main
BasharHamade12:main
Action required
feat: Initialization of Cyber-Physical Systems library , with Lyapuno… Lean Action CI #2280: Pull request #373 synchronize by BasharHamade12
Action required BasharHamade12:main
BasharHamade12:main
Action required
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1256: completed by github-merge-queue bot
1s
1s
chore(ci): module aware shake, test flags (#379) Lean Action CI #2279: Commit 2293f61 pushed by github-merge-queue bot
8m 14s main
main
8m 14s
chore(ci): module aware shake, test flags (#379) Run TODO to Issue #188: Commit 2293f61 pushed by github-merge-queue bot
12s main
main
12s
chore(ci): module aware shake, test flags (#379) Build and Deploy Documentation #102: Commit 2293f61 pushed by github-merge-queue bot
50m 42s main
main
50m 42s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1255: completed by fmontesi
1s
1s
Check PR title for commit convention Check PR title for commit convention #1243: Merge group checks requested
7s
7s