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
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1163: Scheduled
1m 8s main
main
1m 8s
Merge main to nightly-testing Merge main to nightly-testing #1846: Scheduled
1m 5s main
main
1m 5s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1162: Scheduled
18s main
main
18s
Merge main to nightly-testing Merge main to nightly-testing #1845: 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. #2140: completed by thomaskwaring
2s
2s
feat(Logics/Propositional): further API for manipulating theories in natural deduction Check PR title for commit convention #2185: Pull request #542 edited by thomaskwaring
7s thomaskwaring:nj-theories-cont
thomaskwaring:nj-theories-cont
7s
feat(Logics/Propositional): further API for manipulating theories in natural deduction Lean Action CI #3309: Pull request #542 opened by thomaskwaring
8m 48s thomaskwaring:nj-theories-cont
thomaskwaring:nj-theories-cont
8m 48s
feat(Logics/Propositional): further API for manipulating theories in natural deduction Check PR title for commit convention #2184: Pull request #542 opened by thomaskwaring
10s thomaskwaring:nj-theories-cont
thomaskwaring:nj-theories-cont
10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2139: completed by thomaskwaring
2s
2s
refactor(Logics/Propositional): classical and intuitionistic inference systems Lean Action CI #3308: Pull request #536 synchronize by thomaskwaring
9m 41s thomaskwaring:nj-theories-fresh
thomaskwaring:nj-theories-fresh
9m 41s
refactor(Logics/Propositional): classical and intuitionistic inference systems Check PR title for commit convention #2183: Pull request #536 synchronize by thomaskwaring
7s thomaskwaring:nj-theories-fresh
thomaskwaring:nj-theories-fresh
7s
Merge main to nightly-testing Merge main to nightly-testing #1844: Scheduled
1m 3s main
main
1m 3s
Weekly linting report Weekly linting report #39: Scheduled
13m 36s main
main
13m 36s
Merge main to nightly-testing Merge main to nightly-testing #1843: Scheduled
1m 9s main
main
1m 9s
Merge main to nightly-testing Merge main to nightly-testing #1842: Scheduled
1m 1s main
main
1m 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2138: completed by chenson2018
Skipped
Skipped
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2137: completed by chenson2018
14s
14s
chore: adaptations for nightly-2026-05-03 Lean Action CI #3307: Commit 5a7f08f pushed by chenson2018
5m 13s nightly-testing
nightly-testing
5m 13s
chore: adaptations for nightly-2026-05-03 Check PR title for commit convention #2182: Pull request #541 opened by chenson2018
13s bump/nightly-2026-05-03
bump/nightly-2026-05-03
13s
chore: adaptations for nightly-2026-05-03 Lean Action CI #3306: Pull request #541 opened by chenson2018
9m 13s bump/nightly-2026-05-03
bump/nightly-2026-05-03
9m 13s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1161: Scheduled
1m 1s main
main
1m 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2136: completed by chenson2018
21s
21s
Typing.progress Lean Action CI #3305: Commit 9de72b7 pushed by chenson2018
7m 43s nightly-testing
nightly-testing
7m 43s
Merge main to nightly-testing Merge main to nightly-testing #1841: Scheduled
57s main
main
57s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2135: completed by ctchou
7s
7s