Skip to content

Actions: leanprover/cslib

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
126 workflow runs
126 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: namespacing for reduction_sys (#437) Build and Deploy Documentation #126: Commit cf466f8 pushed by github-merge-queue bot
50m 37s main
main
50m 37s
feat(CombinatoryLogic): SKI terms for Nat.sqrt, Nat.pair, and Nat.unp… Build and Deploy Documentation #125: Commit d2d33ff pushed by github-merge-queue bot
48m 27s main
main
48m 27s
refactor: congruence closure for eta-reduction (#428) Build and Deploy Documentation #124: Commit 2d9ad57 pushed by github-merge-queue bot
48m 33s main
main
48m 33s
fix: make the @[lts] attribute attach hover info correctly (#432) Build and Deploy Documentation #123: Commit 4f2b2d2 pushed by github-merge-queue bot
47m 22s main
main
47m 22s
ci: set TEST_ARGS manually (#422) Build and Deploy Documentation #122: Commit 1d91c3f pushed by github-merge-queue bot
46m 16s main
main
46m 16s
feat: monadic lemmas for FreeM.liftM (#423) Build and Deploy Documentation #121: Commit 4f3737a pushed by github-merge-queue bot
50m 42s main
main
50m 42s
refactor: use Qq in free_union (#433) Build and Deploy Documentation #120: Commit 9fbbd6a pushed by github-merge-queue bot
29m 0s main
main
29m 0s
chore: simplify the DFA example (#430) Build and Deploy Documentation #119: Commit ea86c67 pushed by github-merge-queue bot
49m 37s main
main
49m 37s
feat: StrongNormalizationUntypedAndStlc (#411) Build and Deploy Documentation #118: Commit b39710e pushed by github-merge-queue bot
49m 37s main
main
49m 37s
feat: prove strong confluence of eta-reduction (#425) Build and Deploy Documentation #117: Commit a915db9 pushed by github-merge-queue bot
50m 41s main
main
50m 41s
feat: Add η-reduction definition (#414) Build and Deploy Documentation #116: Commit 9a159ac pushed by github-merge-queue bot
46m 27s main
main
46m 27s
style: fix more bad indents (#420) Build and Deploy Documentation #115: Commit dedc0d7 pushed by github-merge-queue bot
6m 39s main
main
6m 39s
chore: golf a proof (#419) Build and Deploy Documentation #114: Commit b1465e7 pushed by github-merge-queue bot
3m 20s main
main
3m 20s
style: fix bad indents (#418) Build and Deploy Documentation #113: Commit be738a8 pushed by github-merge-queue bot
3m 30s main
main
3m 30s
chore: bump toolchain to v4.29.0-rc6 (#412) Build and Deploy Documentation #112: Commit ef87c06 pushed by github-merge-queue bot
7m 27s main
main
7m 27s
feat: multiSubst (#410) Build and Deploy Documentation #111: Commit 6593225 pushed by github-merge-queue bot
51m 45s main
main
51m 45s
feat: classes for inference systems and logical equivalence (#398) Build and Deploy Documentation #110: Commit 89a116b pushed by github-merge-queue bot
26m 12s main
main
26m 12s
feat: MultiAppForStrongNorm (#405) Build and Deploy Documentation #109: Commit e47d496 pushed by github-merge-queue bot
51m 30s main
main
51m 30s
feat: change context notation to ·<[·] (#393) Build and Deploy Documentation #108: Commit 5a72d6a pushed by github-merge-queue bot
25m 24s main
main
25m 24s
chore(ci): split checkInitImports into its own test (#386) Build and Deploy Documentation #107: Commit b96a4cb pushed by github-merge-queue bot
50m 17s main
main
50m 17s
ci: disable shake again (#397) Build and Deploy Documentation #106: Commit 7460006 pushed by github-merge-queue bot
43m 34s main
main
43m 34s
chore: bump toolchain to v4.29.0-rc4 (#399) Build and Deploy Documentation #105: Commit 8c9f669 pushed by github-merge-queue bot
56m 5s main
main
56m 5s
feat: helper lemmas for use in the planned strong norm proof (#381) Build and Deploy Documentation #104: Commit 11957b8 pushed by github-merge-queue bot
50m 12s main
main
50m 12s
chore: bump toolchain to v4.29.0-rc3 (#382) Build and Deploy Documentation #103: Commit 0ee36ae pushed by github-merge-queue bot
51m 48s main
main
51m 48s
chore(ci): module aware shake, test flags (#379) Build and Deploy Documentation #102: Commit 2293f61 pushed by github-merge-queue bot
50m 42s main
main
50m 42s