Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,083 workflow runs
8,083 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1395: completed by github-merge-queue bot
2s
2s
feat: classes for inference systems and logical equivalence (#398) Run TODO to Issue #196: Commit 89a116b pushed by github-merge-queue bot
12s main
main
12s
feat: classes for inference systems and logical equivalence (#398) Lean Action CI #2472: Commit 89a116b pushed by github-merge-queue bot
5m 12s main
main
5m 12s
feat: classes for inference systems and logical equivalence (#398) Build and Deploy Documentation #110: Commit 89a116b pushed by github-merge-queue bot
In progress main
main
In progress
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1394: completed by fmontesi
1s
1s
Check PR title for commit convention Check PR title for commit convention #1433: Merge group checks requested
6s
6s
Lean Action CI Lean Action CI #2471: Merge group checks requested
8m 35s
8m 35s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1393: completed by mathlib-nightly-testing bot
19s
19s
Merge main into nightly-testing Lean Action CI #2470: Commit 405ca40 pushed by mathlib-nightly-testing bot
8m 22s nightly-testing
nightly-testing
8m 22s
Merge main to nightly-testing Merge main to nightly-testing #1396: Scheduled
54s main
main
54s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1392: completed by chenson2018
1s
1s
Weekly linting report Weekly linting report #16: Scheduled
6m 56s main
main
6m 56s
feat: define the category of LTSs Lean Action CI #2469: Pull request #391 synchronize by chenson2018
2m 59s ayberkt:main
ayberkt:main
2m 59s
feat: define the category of LTSs Check PR title for commit convention #1432: Pull request #391 synchronize by chenson2018
11s ayberkt:main
ayberkt:main
11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1391: completed by github-merge-queue bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1390: completed by ayberkt
Skipped
Skipped
feat: MultiAppForStrongNorm (#405) Lean Action CI #2468: Commit e47d496 pushed by github-merge-queue bot
18m 47s main
main
18m 47s
feat: MultiAppForStrongNorm (#405) Build and Deploy Documentation #109: Commit e47d496 pushed by github-merge-queue bot
51m 30s main
main
51m 30s
feat: MultiAppForStrongNorm (#405) Run TODO to Issue #195: Commit e47d496 pushed by github-merge-queue bot
15s main
main
15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1389: completed by chenson2018
1s
1s
Lean Action CI Lean Action CI #2467: Merge group checks requested
8m 15s
8m 15s
Check PR title for commit convention Check PR title for commit convention #1431: Merge group checks requested
7s
7s
Merge main to nightly-testing Merge main to nightly-testing #1395: Scheduled
49s main
main
49s
Merge main to nightly-testing Merge main to nightly-testing #1394: Scheduled
55s main
main
55s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1388: completed by Shreyas4991
1s
1s