Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,186 workflow runs
4,186 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 #536: Scheduled
20s main
main
20s
Merge main to nightly-testing Merge main to nightly-testing #852: Scheduled
47s main
main
47s
Merge main to nightly-testing Merge main to nightly-testing #851: Scheduled
57s main
main
57s
Merge main to nightly-testing Merge main to nightly-testing #850: Scheduled
51s main
main
51s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #437: completed by leanprover-community-mathlib4-bot
14s
14s
Merge main into nightly-testing Lean Action CI #1398: Commit a08f14f pushed by leanprover-community-mathlib4-bot
7m 37s nightly-testing
nightly-testing
7m 37s
Merge main to nightly-testing Merge main to nightly-testing #849: Scheduled
1m 5s main
main
1m 5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #436: 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. #435: completed by ctchou
1s
1s
feat: prove that regular languages are closed under concatenation Lean Action CI #1397: Pull request #239 synchronize by ctchou
6m 17s ctchou:na-total
ctchou:na-total
6m 17s
feat: prove that regular languages are closed under concatenation Check PR title for commit convention #447: Pull request #239 synchronize by ctchou
6s ctchou:na-total
ctchou:na-total
6s
feat: prove that the omega-power of a regular language is an omega-regular language Lean Action CI #1396: Pull request #236 synchronize by ctchou
6m 35s ctchou:na-loop
ctchou:na-loop
6m 35s
feat: prove that the omega-power of a regular language is an omega-regular language Check PR title for commit convention #446: Pull request #236 synchronize by ctchou
7s ctchou:na-loop
ctchou:na-loop
7s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #535: Scheduled
22s main
main
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #434: completed by github-merge-queue bot
Skipped
Skipped
fix: broken link in the free monad tutorial Check PR title for commit convention #445: Pull request #240 edited by chenson2018
6s Chris-F5:fix-free-monad-broken-link
Chris-F5:fix-free-monad-broken-link
6s
fix: broken link the the free monad tutorial (#240) Lean Action CI #1395: Commit ff529e0 pushed by github-merge-queue bot
8m 21s main
main
8m 21s
fix: broken link the the free monad tutorial (#240) Build and Deploy Documentation #40: Commit ff529e0 pushed by github-merge-queue bot
27m 20s main
main
27m 20s
fix: broken link the the free monad tutorial (#240) Run TODO to Issue #126: Commit ff529e0 pushed by github-merge-queue bot
17s main
main
17s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #433: completed by chenson2018
1s
1s
Lean Action CI Lean Action CI #1394: Merge group checks requested
8m 32s
8m 32s
Check PR title for commit convention Check PR title for commit convention #444: Merge group checks requested
5s
5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #432: completed by Chris-F5
1s
1s
Merge main to nightly-testing Merge main to nightly-testing #848: Scheduled
1m 0s main
main
1m 0s
fix: broken link in the free monad tutorial Check PR title for commit convention #443: Pull request #240 edited by chenson2018
8s Chris-F5:fix-free-monad-broken-link
Chris-F5:fix-free-monad-broken-link
8s