Skip to content

Actions: leanprover/cslib

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
298 workflow runs
298 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
chore(HML/LogicalEquivalence): golf to remove mergeWithGrind opt (#… Build and Deploy Documentation #298: Commit bba5e73 pushed by github-merge-queue Bot
4m 9s main
main
4m 9s
chore(LTS/MapHom): golf mapHom_mTr proof (#849) Build and Deploy Documentation #297: Commit aeb2e41 pushed by github-merge-queue Bot
4m 9s main
main
4m 9s
chore: document two heavy grind uses (#850) Build and Deploy Documentation #296: Commit daedb5e pushed by github-merge-queue Bot
5m 23s main
main
5m 23s
chore: bump mathlib to e06eff5, fix breaking changes (#848) Build and Deploy Documentation #295: Commit 21ed7bd pushed by github-merge-queue Bot
46m 15s main
main
46m 15s
feat(ModalLogic/LambdaCalculus): modal grind set and proof of type sa… Build and Deploy Documentation #294: Commit 492d030 pushed by github-merge-queue Bot
45m 49s main
main
45m 49s
chore: bump mathlib to 0fa18d4, fix breaking changes (#843) Build and Deploy Documentation #293: Commit 48d08aa pushed by github-merge-queue Bot
45m 22s main
main
45m 22s
feat(Data): Results about RelatesInSteps with bounds on the reachable… Build and Deploy Documentation #292: Commit 5594757 pushed by github-merge-queue Bot
40m 6s main
main
40m 6s
feat(Language): define language homomorphism and prove that regular l… Build and Deploy Documentation #291: Commit 29f10e0 pushed by github-merge-queue Bot
35m 47s main
main
35m 47s
refactor(Crypto): replace bespoke constructions with Mathlib abstract… Build and Deploy Documentation #290: Commit 5401995 pushed by github-merge-queue Bot
40m 22s main
main
40m 22s
chore: bump mathlib to f1c2273, fix breaking changes (#838) Build and Deploy Documentation #289: Commit 188072b pushed by github-merge-queue Bot
46m 35s main
main
46m 35s
chore: bump mathlib to 2c99b7b, fix breaking changes (#836) Build and Deploy Documentation #288: Commit a70d11d pushed by github-merge-queue Bot
28m 53s main
main
28m 53s
refactor(MultiTapeTM): Put the output tape into the configuration (#819) Build and Deploy Documentation #287: Commit 106fe70 pushed by github-merge-queue Bot
37m 33s main
main
37m 33s
refactor: .trans => .head/.tail (#797) Build and Deploy Documentation #286: Commit f533262 pushed by github-merge-queue Bot
39m 13s main
main
39m 13s
refactor: Replace ↔ with = in LcAt.lean (#787) Build and Deploy Documentation #285: Commit 3497b10 pushed by github-merge-queue Bot
38m 11s main
main
38m 11s
feat(LocallyNameless): add deriving DecidableEq to Term (#825) Build and Deploy Documentation #284: Commit d36dd81 pushed by github-merge-queue Bot
37m 56s main
main
37m 56s
chore: bump toolchain to v4.34.0-rc2 (#832) Build and Deploy Documentation #283: Commit 2255a5b pushed by github-merge-queue Bot
41m 12s main
main
41m 12s
chore: bump mathlib to e2d64cf, fix breaking changes (#831) Build and Deploy Documentation #282: Commit e50d5e4 pushed by github-merge-queue Bot
33m 35s main
main
33m 35s
chore: Fix linter by merging with grind tactics (#828) Build and Deploy Documentation #281: Commit e9b5cf0 pushed by github-merge-queue Bot
4m 38s main
main
4m 38s
chore: Fix linter warnings in docstrings (#826) Build and Deploy Documentation #280: Commit 9f31093 pushed by github-merge-queue Bot
4m 27s main
main
4m 27s
fix: Change some grind proofs such that "grind?" yields a valid sugge… Build and Deploy Documentation #279: Commit cfbcf93 pushed by github-merge-queue Bot
40m 13s main
main
40m 13s
feat(ModalLogic+Congruence): modal reasoning for Lean (#799) Build and Deploy Documentation #278: Commit 764c0af pushed by github-merge-queue Bot
42m 2s main
main
42m 2s
feat(governance): add Christian Reitwiessner to reviewers (#808) Build and Deploy Documentation #277: Commit 2fb3126 pushed by github-merge-queue Bot
39m 6s main
main
39m 6s
refactor(LTS): convert LTS.Execution from a Prop to a structure (#806) Build and Deploy Documentation #276: Commit 723127d pushed by github-merge-queue Bot
28m 25s main
main
28m 25s
chore: bump mathlib to 29e0104, fix breaking changes (#812) Build and Deploy Documentation #275: Commit 809bb39 pushed by github-merge-queue Bot
44m 26s main
main
44m 26s
feat(Automata): Regular languages are closed under reversal. (#775) Build and Deploy Documentation #274: Commit 2e1824a pushed by github-merge-queue Bot
41m 16s main
main
41m 16s