Skip to content

Actions: leanprover/cslib

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
396 workflow runs
396 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
perf(Cslib/Computability/Languages/RegularLanguage): speed up `IsRegu… Build and Deploy Documentation #396: Commit ea16de3 pushed by github-merge-queue Bot
8m 19s main
main
8m 19s
refactor(LTS/Execution): inductive definition of execution (#1011) Build and Deploy Documentation #395: Commit 89dc6fb pushed by github-merge-queue Bot
43m 41s main
main
43m 41s
chore: bump mathlib to 9a6fbe0, fix breaking changes (#1061) Build and Deploy Documentation #394: Commit 1d7ddcc pushed by github-merge-queue Bot
33m 51s main
main
33m 51s
chore: bump mathlib to 728a93e, fix breaking changes (#1059) Build and Deploy Documentation #393: Commit 311d27a pushed by github-merge-queue Bot
44m 59s main
main
44m 59s
feat(PFunctor): Add API of basic PFunctor constructions (#803) Build and Deploy Documentation #392: Commit 9b73666 pushed by github-merge-queue Bot
44m 44s main
main
44m 44s
feat(FreeM): add polynomial folds and W-type equivalence (#1052) Build and Deploy Documentation #391: Commit 628a498 pushed by github-merge-queue Bot
43m 44s main
main
43m 44s
perf(BuchiCongruence): golf proof of buchiFamily_saturation (#1027) Build and Deploy Documentation #390: Commit fc9bb6c pushed by github-merge-queue Bot
30m 20s main
main
30m 20s
ci: remove lint-style-action (#1047) Build and Deploy Documentation #389: Commit 9a66d5c pushed by github-merge-queue Bot
3m 56s main
main
3m 56s
chore: avoid use of gt and ge (#1046) Build and Deploy Documentation #388: Commit 9a99cbb pushed by github-merge-queue Bot
44m 54s main
main
44m 54s
refactor(Automata): simplify congruence automaton proof (#972) Build and Deploy Documentation #387: Commit cd62719 pushed by github-merge-queue Bot
47m 8s main
main
47m 8s
feat(Circuit): add basic depth bounds (#1003) Build and Deploy Documentation #386: Commit d85c31e pushed by github-merge-queue Bot
44m 50s main
main
44m 50s
feat(Bisimulation): Improve the Bisimulation API (#967) Build and Deploy Documentation #385: Commit 8c41993 pushed by github-merge-queue Bot
44m 41s main
main
44m 41s
refactor(MultiTapeTM): use existing ExtendTapes framework instead o… Build and Deploy Documentation #384: Commit c149a9d pushed by github-merge-queue Bot
4m 52s main
main
4m 52s
feat(Circuit): circuit complexity on a support (#955) Build and Deploy Documentation #383: Commit 729f65f pushed by github-merge-queue Bot
4m 35s main
main
4m 35s
feat(MultiTapeTM): add a machine that rewinds a work-tape head (#1005) Build and Deploy Documentation #382: Commit df544ce pushed by github-merge-queue Bot
27m 47s main
main
27m 47s
feat(Circuit): sequential and parallel composition of circuits (#952) Build and Deploy Documentation #381: Commit b6e37b7 pushed by github-merge-queue Bot
44m 44s main
main
44m 44s
feat(MultiTapeTM): add a machine that rewinds the input head (#1004) Build and Deploy Documentation #380: Commit 3374392 pushed by github-merge-queue Bot
4m 26s main
main
4m 26s
refactor(Automata): construct product and history runs directly (#980) Build and Deploy Documentation #379: Commit 11b9e22 pushed by github-merge-queue Bot
44m 12s main
main
44m 12s
feat(MeasureTheory): measures supported on finite sets (#961) Build and Deploy Documentation #378: Commit 17f72e4 pushed by github-merge-queue Bot
35m 32s main
main
35m 32s
refactor(CCS): derive choice laws from matching successors (#974) Build and Deploy Documentation #377: Commit 9ed014c pushed by github-merge-queue Bot
4m 47s main
main
4m 47s
refactor(LTS): simplify label homomorphism proof (#971) Build and Deploy Documentation #376: Commit f00454c pushed by github-merge-queue Bot
4m 54s main
main
4m 54s
feat(Crypto): define PRGs and their security definition (#876) Build and Deploy Documentation #375: Commit df14094 pushed by github-merge-queue Bot
4m 17s main
main
4m 17s
refactor(CLL): reuse duality in congruence proofs (#973) Build and Deploy Documentation #374: Commit 2bb2d53 pushed by github-merge-queue Bot
43m 49s main
main
43m 49s
refactor(CCS): use bisimilarity API in congruence proofs (#976) Build and Deploy Documentation #373: Commit 41daf24 pushed by github-merge-queue Bot
36m 15s main
main
36m 15s
chore: bump mathlib to a9fe973, fix breaking changes (#992) Build and Deploy Documentation #372: Commit 19b6f3a pushed by github-merge-queue Bot
38m 52s main
main
38m 52s