Run TODO to Issue · Workflow runs · ctchou/cslib · GitHub

Actions

All workflows
Workflows
- Build and Deploy Documentation Build and Deploy Documentation
- Check PR title for commit convention Check PR title for commit convention
- Lean Action CI Lean Action CI
- Run TODO to Issue Run TODO to Issue
- Weekly linting report Weekly linting report
- Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing Disabled
- Merge main to nightly-testing Merge main to nightly-testing Disabled
- Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. Disabled
Management
- Caches

Run TODO to Issue

Actions

Loading...
Loading

5 workflow runs

5 workflow runs

chore: add radar benchmark suite (#267) Run TODO to Issue #6: Commit 02e2a23 pushed by ctchou

34s main

main

34s

fix: validate git dependency and only update rev in nightly workflow … Run TODO to Issue #5: Commit 25d3b0f pushed by ctchou

12s main

main

12s

Move accept conditions around for better extensibility to omega autom… Run TODO to Issue #4: Commit 9a01e84 pushed by ctchou

17s automata

automata

17s

feat (Computability/Automata): Automata theory based on LTS, includin… Run TODO to Issue #3: Commit e9cfac9 pushed by ctchou

19s main

main

19s

feat: An initial version of Buchi and Muller automata Run TODO to Issue #2: Commit ca190eb pushed by ctchou

18s automata-omega

automata-omega

18s