Skip to content

Actions: leanprover/cslib

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
153 workflow runs
153 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
ci: use mathlib-nightly-testing identity bot for auto-update PRs (#506) Build and Deploy Documentation #153: Commit 870e11e pushed by github-merge-queue Bot
41m 40s main
main
41m 40s
doc: add new reviewer (#505) Build and Deploy Documentation #152: Commit 68c38a7 pushed by github-merge-queue Bot
1h 6m 14s main
main
1h 6m 14s
refactor: provide a properly encapsulated implementation of OmegaLang… Build and Deploy Documentation #151: Commit d2e10ff pushed by github-merge-queue Bot
39m 56s main
main
39m 56s
feat: update operation for FinFun (#470) Build and Deploy Documentation #150: Commit 1a7d871 pushed by github-merge-queue Bot
43m 8s main
main
43m 8s
ci: disable just unicodeLinter from text-based linters (#502) Build and Deploy Documentation #149: Commit 74f5bf6 pushed by github-merge-queue Bot
42m 43s main
main
42m 43s
ci: action for bumping mathlib (#497) Build and Deploy Documentation #148: Commit 86a2816 pushed by github-merge-queue Bot
35m 19s main
main
35m 19s
feat: reviewer team (#501) Build and Deploy Documentation #147: Commit 3ea6f21 pushed by github-merge-queue Bot
41m 16s main
main
41m 16s
chore: bump toolchain to v4.30.0-rc2 (#496) Build and Deploy Documentation #146: Commit 95fdc7d pushed by github-merge-queue Bot
44m 15s main
main
44m 15s
feat(Cryptography): formalise perfect secrecy and the one-time pad (#… Build and Deploy Documentation #145: Commit 906574d pushed by github-merge-queue Bot
1h 27m 41s main
main
1h 27m 41s
feat(Free/Effects): add missing run_bind lemmas (#490) Build and Deploy Documentation #144: Commit d3a9006 pushed by github-merge-queue Bot
49m 40s main
main
49m 40s
fix: missing pures in the Id monad (#439) Build and Deploy Documentation #143: Commit f22a241 pushed by github-merge-queue Bot
48m 26s main
main
48m 26s
ci: use full weeklyLintSet and mathlib-ci (#488) Build and Deploy Documentation #142: Commit 615b6d3 pushed by github-merge-queue Bot
47m 38s main
main
47m 38s
feat: define the category of LTSs (#391) Build and Deploy Documentation #141: Commit 48e29fd pushed by github-merge-queue Bot
50m 54s main
main
50m 54s
feat(Logics/Propositional): definitions (#89) Build and Deploy Documentation #140: Commit 6178564 pushed by github-merge-queue Bot
6m 21s main
main
6m 21s
chore: bump toolchain to v4.30.0-rc1 (#469) Build and Deploy Documentation #139: Commit 7643ee4 pushed by github-merge-queue Bot
6m 9s main
main
6m 9s
chore: Update mathlib revision, fixing a conflict (#467) Build and Deploy Documentation #138: Commit d1dbe1e pushed by github-merge-queue Bot
49m 30s main
main
49m 30s
feat(FinFun): Implement the decidable equality for FinFun (#466) Build and Deploy Documentation #137: Commit 3875bc9 pushed by github-merge-queue Bot
51m 11s main
main
51m 11s
chore: bump toolchain to v4.29.0 (#463) Build and Deploy Documentation #136: Commit 0d37cc7 pushed by github-merge-queue Bot
50m 50s main
main
50m 50s
feat: Heterogeneous behavioural equivalences (#460) Build and Deploy Documentation #135: Commit 4ab77e0 pushed by github-merge-queue Bot
50m 50s main
main
50m 50s
chore: split LTS/Basic.lean into more manageable pieces (#453) Build and Deploy Documentation #134: Commit 5245717 pushed by github-merge-queue Bot
52m 3s main
main
52m 3s
feat: prove confluence for βη-reduction (#456) Build and Deploy Documentation #133: Commit 225c4b1 pushed by github-merge-queue Bot
6m 56s main
main
6m 56s
feat: prove that omega-regular languages are closed under complementa… Build and Deploy Documentation #132: Commit 1aff460 pushed by github-merge-queue Bot
3m 26s main
main
3m 26s
refactor: define FullBeta using Xi (#455) Build and Deploy Documentation #131: Commit 3b47a7b pushed by github-merge-queue Bot
3m 8s main
main
3m 8s
chore: bump toolchain to v4.29.0-rc8 (#457) Build and Deploy Documentation #130: Commit 74388a7 pushed by github-merge-queue Bot
6m 52s main
main
6m 52s
chore: bump toolchain to v4.29.0-rc7 (#452) Build and Deploy Documentation #129: Commit 1119f31 pushed by github-merge-queue Bot
50m 50s main
main
50m 50s