Skip to content

Actions: leanprover/cslib

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
193 workflow runs
193 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: bump toolchain to v4.31.0-rc1 (#609) Build and Deploy Documentation #193: Commit 2f677bf pushed by github-merge-queue Bot
41m 14s main
main
41m 14s
doc(Governance): add @SamuelSchlesinger to reviewers (#608) Build and Deploy Documentation #192: Commit d0c137a pushed by github-merge-queue Bot
4m 42s main
main
4m 42s
feat(MachineLearning/PACLearning): add VersionSpace abstraction (#592) Build and Deploy Documentation #191: Commit 45072a3 pushed by github-merge-queue Bot
40m 58s main
main
40m 58s
chore: refactor proofs where grind? fails (#602) Build and Deploy Documentation #190: Commit 00ecf15 pushed by github-merge-queue Bot
43m 33s main
main
43m 33s
feat: more lemmas on Euclidean relations (#574) Build and Deploy Documentation #189: Commit 8e4dcb3 pushed by github-merge-queue Bot
41m 28s main
main
41m 28s
chore: use tfae_* tactics (#600) Build and Deploy Documentation #188: Commit 024db9e pushed by github-merge-queue Bot
45m 56s main
main
45m 56s
refactor: change the simpNF for FreeM (#417) Build and Deploy Documentation #187: Commit d780a2a pushed by github-merge-queue Bot
39m 51s main
main
39m 51s
chore: bump toolchain to v4.30.0 (#601) Build and Deploy Documentation #186: Commit c7944a9 pushed by github-merge-queue Bot
45m 11s main
main
45m 11s
feat: subst_refl (#599) Build and Deploy Documentation #185: Commit 28e0b17 pushed by github-merge-queue Bot
40m 48s main
main
40m 48s
feat(locallynameless): signature of fv theorems (#588) Build and Deploy Documentation #184: Commit c6bb800 pushed by github-merge-queue Bot
46m 52s main
main
46m 52s
chore: Bump mathlib dependency to d8de6b6 (#552) Build and Deploy Documentation #183: Commit 107a51d pushed by github-merge-queue Bot
45m 53s main
main
45m 53s
doc: link to Mathlib AI policy in CONTRIBUTING.md (#593) Build and Deploy Documentation #182: Commit 85518e6 pushed by github-merge-queue Bot
41m 15s main
main
41m 15s
feat: FullEta.step_lc_l (#589) Build and Deploy Documentation #181: Commit 6cc5327 pushed by github-merge-queue Bot
39m 52s main
main
39m 52s
refactor: use Option State rather than Sum State Unit in `LTS.tot… Build and Deploy Documentation #180: Commit f3c2894 pushed by github-merge-queue Bot
43m 0s main
main
43m 0s
feat: precise close_preserve_not_fvar (#580) Build and Deploy Documentation #179: Commit caa9a9c pushed by github-merge-queue Bot
41m 19s main
main
41m 19s
feat(FullBetaEta): redex_app_l_cong, redex_app_r_cong (#571) Build and Deploy Documentation #178: Commit cb6469f pushed by github-merge-queue Bot
56m 20s main
main
56m 20s
feat: decidable LcAt and LC (#572) Build and Deploy Documentation #177: Commit a188b76 pushed by github-merge-queue Bot
40m 35s main
main
40m 35s
feat: remove open_fresh_preserve_not_fvar (#573) Build and Deploy Documentation #176: Commit 5220c7b pushed by github-merge-queue Bot
42m 54s main
main
42m 54s
doc: fix missing '$' (#564) Build and Deploy Documentation #175: Commit 608cbe1 pushed by github-merge-queue Bot
45m 31s main
main
45m 31s
chore(ci): bump lint-style-action pin off reverted commit (#562) Build and Deploy Documentation #174: Commit b3c5575 pushed by github-merge-queue Bot
36m 2s main
main
36m 2s
chore(ci): pin lint-style-action to a SHA instead of @main (#561) Build and Deploy Documentation #173: Commit 28a8f5e pushed by github-merge-queue Bot
47m 13s main
main
47m 13s
ci: use INFO=true for weekly linting (#526) Build and Deploy Documentation #172: Commit 2e5e64d pushed by github-merge-queue Bot
4m 53s main
main
4m 53s
feat(Cryptography/SecretSharing): Shamir's secret sharing (#495) Build and Deploy Documentation #171: Commit 57e5054 pushed by github-merge-queue Bot
39m 32s main
main
39m 32s
feat(MachineLearning/PACLearning): definitions (#492) Build and Deploy Documentation #170: Commit ca0e27c pushed by github-merge-queue Bot
39m 54s main
main
39m 54s
feat: some lemmas about Euclidean relations (#557) Build and Deploy Documentation #169: Commit b37c36e pushed by github-merge-queue Bot
44m 21s main
main
44m 21s