Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,934 workflow runs
2,934 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 #370: Scheduled
19s main
main
19s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #153: completed by leanprover-community-mathlib4-bot
8s
8s
Merge main into nightly-testing Lean Action CI #1114: Commit 9792c2a pushed by leanprover-community-mathlib4-bot
7m 56s nightly-testing
nightly-testing
7m 56s
Merge main to nightly-testing Merge main to nightly-testing #584: Scheduled
45s main
main
45s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #152: completed by chenson2018
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #151: completed by chenson2018
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #150: completed by chenson2018
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #149: completed by chenson2018
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #148: completed by fmontesi
1s
1s
test: #grind_lint check Lean Action CI #1113: Pull request #189 synchronize by chenson2018
9m 28s grind-lint
grind-lint
9m 28s
test: #grind_lint check Check PR title for commit convention #265: Pull request #189 synchronize by chenson2018
5s grind-lint
grind-lint
5s
Merge remote-tracking branch 'upstream/main' into grind-lint Lean Action CI #1112: Commit bb5d6f0 pushed by chenson2018
9m 43s grind-lint
grind-lint
9m 43s
perf: remove the mergeWithGrind linter Check PR title for commit convention #264: Pull request #184 synchronize by chenson2018
8s rm-mergeWithGrind
rm-mergeWithGrind
8s
perf: remove the mergeWithGrind linter Lean Action CI #1111: Pull request #184 synchronize by chenson2018
7m 18s rm-mergeWithGrind
rm-mergeWithGrind
7m 18s
Merge remote-tracking branch 'upstream/main' into rm-mergeWithGrind Lean Action CI #1110: Commit 37b1f67 pushed by chenson2018
7m 42s rm-mergeWithGrind
rm-mergeWithGrind
7m 42s
chore: move environment linting to Batteries lint driver (#181) Build and Deploy Documentation #9: Commit d7d7fae pushed by fmontesi
15m 31s main
main
15m 31s
chore: move environment linting to Batteries lint driver (#181) Lean Action CI #1109: Commit d7d7fae pushed by fmontesi
9m 45s main
main
9m 45s
chore: move environment linting to Batteries lint driver (#181) Run TODO to Issue #95: Commit d7d7fae pushed by fmontesi
18s main
main
18s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #147: completed by fmontesi
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #146: completed by fmontesi
1s
1s
chore: move environment linting to Batteries lint driver Lean Action CI #1108: Pull request #181 synchronize by fmontesi
6m 26s batteries-lint
batteries-lint
6m 26s
chore: move environment linting to Batteries lint driver Check PR title for commit convention #263: Pull request #181 synchronize by fmontesi
5s batteries-lint
batteries-lint
5s
fix: missing docstrings in CLL Basic Lean Action CI #1107: Commit 68347f5 pushed by fmontesi
6m 44s batteries-lint
batteries-lint
6m 44s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #145: completed by fmontesi
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #144: completed by fmontesi
1s
1s