Skip to content

Actions: ctchou/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
311 workflow runs
311 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Weekly linting report Weekly linting report #2: Scheduled
1s main
main
1s
Weekly linting report Weekly linting report #1: Scheduled
Skipped main
main
Skipped
chore: add radar benchmark suite (#267) Run TODO to Issue #6: Commit 02e2a23 pushed by ctchou
34s main
main
34s
chore: add radar benchmark suite (#267) Lean Action CI #302: Commit 02e2a23 pushed by ctchou
12m 3s main
main
12m 3s
chore: add radar benchmark suite (#267) Build and Deploy Documentation #1: Commit 02e2a23 pushed by ctchou
Skipped main
main
Skipped
chore: reorganize Cslib/Computability/Automata/ Lean Action CI #301: Commit bf40b44 pushed by ctchou
5m 52s reorg-automata
reorg-automata
5m 52s
Fix an import in CslibTests/DFA.lean Lean Action CI #300: Commit 96440fc pushed by ctchou
6m 24s reorg-automata
reorg-automata
6m 24s
chore: reorganize Cslib/Computability/Automata/ Lean Action CI #299: Commit a2d2682 pushed by ctchou
5m 52s reorg-automata
reorg-automata
5m 52s
Merge remote-tracking branch 'upstream/main' into na-inter Lean Action CI #298: Commit 2c4d800 pushed by ctchou
8m 5s na-inter
na-inter
8m 5s
small golf of inter_language_eq Lean Action CI #297: Commit 1c6a64f pushed by chenson2018
6m 11s na-inter
na-inter
6m 11s
{Step, LeadsTo}.mk grind lemmas Lean Action CI #296: Commit 653ea17 pushed by chenson2018
6m 35s na-inter
na-inter
6m 35s
missing grind ext annotation Lean Action CI #295: Commit a9619a5 pushed by chenson2018
6m 27s na-inter
na-inter
6m 27s
slightly simplify inter_freq_comp_acc_freq_acc Lean Action CI #294: Commit 4c1d64b pushed by chenson2018
22m 8s na-inter
na-inter
22m 8s
Merge remote-tracking branch 'upstream/main' into na-inter Lean Action CI #293: Commit b5450c4 pushed by ctchou
7m 55s na-inter
na-inter
7m 55s
Incorporate Chris Henson's comments Lean Action CI #292: Commit 44b9069 pushed by ctchou
6m 30s na-inter-work
na-inter-work
6m 30s
Incorporate Chris Henson's comments Lean Action CI #291: Commit 04b3247 pushed by ctchou
6h 0m 18s na-inter-work
na-inter-work
6h 0m 18s
Incorporate Chris Henson's comments Lean Action CI #290: Commit be0b526 pushed by ctchou
9m 33s na-inter-work
na-inter-work
9m 33s
chore: add missing docstrings in files written by Ching-Tsun Chou Lean Action CI #289: Commit acef55a pushed by ctchou
8m 10s batteries-lint
batteries-lint
8m 10s
chore: add missing docstrings in files written by Ching-Tsun Chou Lean Action CI #288: Commit acef55a pushed by ctchou
5m 29s batteries-lint-work
batteries-lint-work
5m 29s
chore: add other missing docstrings Lean Action CI #287: Commit ebaf855 pushed by ctchou
5m 41s batteries-lint-work
batteries-lint-work
5m 41s
chore: add missing docstrings in Cslib/Computability/Automata/ Lean Action CI #286: Commit a94382c pushed by ctchou
8m 20s batteries-lint-work
batteries-lint-work
8m 20s
feat: prove that omega-regular languages are closed under finite inte… Lean Action CI #285: Commit 82bc9be pushed by ctchou
9m 42s na-inter
na-inter
9m 42s
feat: prove that omega-regular languages are closed under finite inte… Lean Action CI #284: Commit 82bc9be pushed by ctchou
7m 19s na-inter-work
na-inter-work
7m 19s
NABuchiInter.lean Lean Action CI #283: Commit 9a0393c pushed by ctchou
6m 33s na-inter-work
na-inter-work
6m 33s
feat: prove that omega-regular languages are closed under finite inte… Lean Action CI #282: Commit 6214103 pushed by ctchou
6m 18s na-inter-work
na-inter-work
6m 18s