Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,512 workflow runs
4,512 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. #507: completed by ctchou
1s
1s
feat: prove that an omega-language is regular iff it is a finite union of omega-languages of a special form Check PR title for commit convention #511: Pull request #249 synchronize by ctchou
7s ctchou:na-pair
ctchou:na-pair
7s
feat: prove that an omega-language is regular iff it is a finite union of omega-languages of a special form Lean Action CI #1472: Pull request #249 synchronize by ctchou
8m 2s ctchou:na-pair
ctchou:na-pair
8m 2s
Merge main to nightly-testing Merge main to nightly-testing #921: Scheduled
56s main
main
56s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #506: completed by chenson2018
1s
1s
feat: prove that regular languages are closed under Kleene star Check PR title for commit convention #510: Pull request #241 synchronize by chenson2018
7s ctchou:na-kstar
ctchou:na-kstar
7s
feat: prove that regular languages are closed under Kleene star Lean Action CI #1471: Pull request #241 synchronize by chenson2018
7m 38s ctchou:na-kstar
ctchou:na-kstar
7m 38s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #580: 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. #505: completed by ctchou
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #504: completed by leanprover-community-mathlib4-bot
15s
15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #503: completed by ctchou
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #502: completed by github-merge-queue bot
1s
1s
feat: prove that an omega-language is regular iff it is a finite union of omega-languages of a special form Check PR title for commit convention #509: Pull request #249 synchronize by ctchou
8s ctchou:na-pair
ctchou:na-pair
8s
feat: prove that an omega-language is regular iff it is a finite union of omega-languages of a special form Lean Action CI #1470: Pull request #249 synchronize by ctchou
7m 0s ctchou:na-pair
ctchou:na-pair
7m 0s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #501: completed by ctchou
2s
2s
feat: prove that regular languages are closed under Kleene star Lean Action CI #1469: Pull request #241 synchronize by ctchou
7m 20s ctchou:na-kstar
ctchou:na-kstar
7m 20s
feat: prove that regular languages are closed under Kleene star Check PR title for commit convention #508: Pull request #241 synchronize by ctchou
7s ctchou:na-kstar
ctchou:na-kstar
7s
Merge main into nightly-testing Lean Action CI #1468: Commit e866484 pushed by leanprover-community-mathlib4-bot
8m 29s nightly-testing
nightly-testing
8m 29s
Merge main to nightly-testing Merge main to nightly-testing #920: Scheduled
51s main
main
51s
feat: prove that regular languages are closed under Kleene star Check PR title for commit convention #507: Pull request #241 synchronize by ctchou
9s ctchou:na-kstar
ctchou:na-kstar
9s
feat: prove that regular languages are closed under Kleene star Lean Action CI #1467: Pull request #241 synchronize by ctchou
7m 9s ctchou:na-kstar
ctchou:na-kstar
7m 9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #500: completed by github-merge-queue bot
1s
1s
feat: correctness of eta-expansion for CLL (#252) Run TODO to Issue #128: Commit e42a004 pushed by github-merge-queue bot
12s main
main
12s
feat: correctness of eta-expansion for CLL (#252) Build and Deploy Documentation #42: Commit e42a004 pushed by github-merge-queue bot
28m 57s main
main
28m 57s
feat: correctness of eta-expansion for CLL (#252) Lean Action CI #1466: Commit e42a004 pushed by github-merge-queue bot
6m 10s main
main
6m 10s