Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,937 workflow runs
2,937 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. #135: 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. #134: 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. #133: completed by chenson2018
1s
1s
feat(CLL): port CLL sequents to Multiset and make CLL equivalences proof-relevant Check PR title for commit convention #257: Pull request #187 synchronize by chenson2018
7s new-logic
new-logic
7s
feat(CLL): port CLL sequents to Multiset and make CLL equivalences proof-relevant Lean Action CI #1097: Pull request #187 synchronize by chenson2018
6m 41s new-logic
new-logic
6m 41s
defs should use grind = Lean Action CI #1096: Commit 7277792 pushed by chenson2018
6m 27s new-logic
new-logic
6m 27s
feat(CLL): port CLL sequents to Multiset and make CLL equivalences proof-relevant Check PR title for commit convention #256: Pull request #187 synchronize by chenson2018
6s new-logic
new-logic
6s
feat(CLL): port CLL sequents to Multiset and make CLL equivalences proof-relevant Lean Action CI #1095: Pull request #187 synchronize by chenson2018
9m 32s new-logic
new-logic
9m 32s
remove uses of rw in data Lean Action CI #1094: Commit 484e40b pushed by chenson2018
12m 56s new-logic
new-logic
12m 56s
Merge main to nightly-testing Merge main to nightly-testing #569: Scheduled
59s main
main
59s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #132: 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. #131: completed by chenson2018
1s
1s
chore: move environment linting to Batteries lint driver Check PR title for commit convention #255: Pull request #181 synchronize by chenson2018
9s batteries-lint
batteries-lint
9s
chore: move environment linting to Batteries lint driver Lean Action CI #1093: Pull request #181 synchronize by chenson2018
4m 28s batteries-lint
batteries-lint
4m 28s
docstrings Lean Action CI #1092: Commit 831bec6 pushed by chenson2018
4m 37s batteries-lint
batteries-lint
4m 37s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #130: 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. #129: completed by chenson2018
1s
1s
chore: move environment linting to Batteries lint driver Lean Action CI #1091: Pull request #181 synchronize by chenson2018
8m 12s batteries-lint
batteries-lint
8m 12s
chore: move environment linting to Batteries lint driver Check PR title for commit convention #254: Pull request #181 synchronize by chenson2018
7s batteries-lint
batteries-lint
7s
fix the formatting of topNamespace error to work with lint driver Lean Action CI #1090: Commit 1da7c35 pushed by chenson2018
8m 46s batteries-lint
batteries-lint
8m 46s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #128: 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. #127: completed by chenson2018
1s
1s
chore: move environment linting to Batteries lint driver Lean Action CI #1089: Pull request #181 synchronize by chenson2018
4m 33s batteries-lint
batteries-lint
4m 33s
chore: move environment linting to Batteries lint driver Check PR title for commit convention #253: Pull request #181 synchronize by chenson2018
9s batteries-lint
batteries-lint
9s
another ReductionSystem nolint Lean Action CI #1088: Commit 6efc2fd pushed by chenson2018
4m 48s batteries-lint
batteries-lint
4m 48s