Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,818 workflow runs
3,818 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(CI): add shellcheck workflow for shell scripts Check PR title for commit convention #400: Pull request #229 opened by jessealama
7s jessealama:add-shellcheck-ci
jessealama:add-shellcheck-ci
7s
feat(CI): add shellcheck workflow for shell scripts Lean Action CI #1333: Pull request #229 opened by jessealama
In progress jessealama:add-shellcheck-ci
jessealama:add-shellcheck-ci
In progress
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #367: 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. #366: completed by github-merge-queue bot
1s
1s
feat(Cslib/Logics/LinearLogic/CLL/PhaseSemantics/Basic.lean): add dis… Lean Action CI #1332: Commit 01d43b6 pushed by github-merge-queue bot
8m 6s main
main
8m 6s
feat(Cslib/Logics/LinearLogic/CLL/PhaseSemantics/Basic.lean): add dis… Build and Deploy Documentation #33: Commit 01d43b6 pushed by github-merge-queue bot
In progress main
main
In progress
feat(Cslib/Logics/LinearLogic/CLL/PhaseSemantics/Basic.lean): add dis… Run TODO to Issue #119: Commit 01d43b6 pushed by github-merge-queue bot
13s main
main
13s
chore: restore closure properties of regular languages under boolean … Lean Action CI #1331: Commit 94e575e pushed by github-merge-queue bot
11m 14s main
main
11m 14s
chore: restore closure properties of regular languages under boolean … Build and Deploy Documentation #32: Commit 94e575e pushed by github-merge-queue bot
In progress main
main
In progress
chore: restore closure properties of regular languages under boolean … Run TODO to Issue #118: Commit 94e575e pushed by github-merge-queue bot
18s main
main
18s
Merge main to nightly-testing Merge main to nightly-testing #747: Scheduled
1m 0s main
main
1m 0s
Merge main to nightly-testing Merge main to nightly-testing #746: Scheduled
1m 1s main
main
1m 1s
Merge main to nightly-testing Merge main to nightly-testing #745: 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. #365: completed by ctchou
1s
1s
feat: prove that omega-regular languages are closed under left-concatenation by regular languages Check PR title for commit convention #399: Pull request #216 synchronize by ctchou
7s ctchou:na-concat
ctchou:na-concat
7s
feat: prove that omega-regular languages are closed under left-concatenation by regular languages Lean Action CI #1330: Pull request #216 synchronize by ctchou
7m 58s ctchou:na-concat
ctchou:na-concat
7m 58s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #470: Scheduled
1m 5s main
main
1m 5s
Merge main to nightly-testing Merge main to nightly-testing #744: Scheduled
1m 0s main
main
1m 0s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #364: completed by ctchou
1s
1s
feat: prove that omega-regular languages are closed under left-concatenation by regular languages Lean Action CI #1329: Pull request #216 synchronize by ctchou
7m 50s ctchou:na-concat
ctchou:na-concat
7m 50s
feat: prove that omega-regular languages are closed under left-concatenation by regular languages Check PR title for commit convention #398: Pull request #216 synchronize by ctchou
7s ctchou:na-concat
ctchou:na-concat
7s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #469: Scheduled
1m 6s main
main
1m 6s
Merge main to nightly-testing Merge main to nightly-testing #743: Scheduled
58s main
main
58s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #363: completed by abdoo8080
1s
1s
Add initial Strata information to the README Lean Action CI #1328: Commit de62732 pushed by abdoo8080
11s Boole-sandbox
Boole-sandbox
11s