Skip to content

Actions: leanprover/cslib

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: prove that regular languages are closed under concatenation (#239) Build and Deploy Documentation #43: Commit b55a607 pushed by github-merge-queue bot
28m 57s main
main
28m 57s
feat: correctness of eta-expansion for CLL (#252) Build and Deploy Documentation #42: Commit e42a004 pushed by github-merge-queue bot
28m 57s main
main
28m 57s
feat: prove that the omega-power of a regular language is an omega-re… Build and Deploy Documentation #41: Commit ab28b63 pushed by github-merge-queue bot
28m 7s main
main
28m 7s
fix: broken link the the free monad tutorial (#240) Build and Deploy Documentation #40: Commit ff529e0 pushed by github-merge-queue bot
27m 20s main
main
27m 20s
feat: Newman's lemma, commutation (#230) Build and Deploy Documentation #39: Commit d6a1e29 pushed by github-merge-queue bot
24m 55s main
main
24m 55s
chore: weekly lints for 2025-12-22 (#234) Build and Deploy Documentation #38: Commit d17e4c0 pushed by github-merge-queue bot
25m 29s main
main
25m 29s
chore: rename build job to ci-checks in workflow Build and Deploy Documentation #37: Commit a8a222e pushed by fmontesi
25m 0s main
main
25m 0s
feat: add LTS.omegaTr for infinite executions (#232) Build and Deploy Documentation #36: Commit 375e0c1 pushed by fmontesi
27m 27s main
main
27m 27s
chore: move Relation- and Trans-related defs about LTS upwards (#231) Build and Deploy Documentation #35: Commit 6b7be4b pushed by github-merge-queue bot
27m 30s main
main
27m 30s
feat: prove that omega-regular languages are closed under left-concat… Build and Deploy Documentation #34: Commit a9d6f7d pushed by github-merge-queue bot
28m 23s main
main
28m 23s
feat(Cslib/Logics/LinearLogic/CLL/PhaseSemantics/Basic.lean): add dis… Build and Deploy Documentation #33: Commit 01d43b6 pushed by github-merge-queue bot
28m 15s main
main
28m 15s
chore: restore closure properties of regular languages under boolean … Build and Deploy Documentation #32: Commit 94e575e pushed by github-merge-queue bot
27m 29s main
main
27m 29s
feat: improve weekly lint report to use table format (#221) Build and Deploy Documentation #31: Commit aa7d978 pushed by github-merge-queue bot
27m 51s main
main
27m 51s
feat: product of FLTS (#218) Build and Deploy Documentation #30: Commit 61c9ae2 pushed by github-merge-queue bot
25m 4s main
main
25m 4s
test: iofail and merge_group trigger (#224) Build and Deploy Documentation #29: Commit f217e8c pushed by github-merge-queue bot
27m 23s main
main
27m 23s
Update CODEOWNERS Build and Deploy Documentation #28: Commit fb7ccbe pushed by fmontesi
28m 0s main
main
28m 0s
chore: deprecation of Sorted (#223) Build and Deploy Documentation #27: Commit 0d0144e pushed by fmontesi
27m 36s main
main
27m 36s
fix: import the deprecated Sorted in MergeSort as temporary measure t… Build and Deploy Documentation #26: Commit 2ee7c69 pushed by fmontesi
4m 19s main
main
4m 19s
feat: time monad + MergeSort analysis (#165) Build and Deploy Documentation #25: Commit 13bcebb pushed by fmontesi
4m 13s main
main
4m 13s
feat: equivalents of Church-Rosser, some normal form properties (#215) Build and Deploy Documentation #24: Commit 0d516c9 pushed by chenson2018
25m 27s main
main
25m 27s
doc: add a description of CI in CONTRIBUTING.md (#213) Build and Deploy Documentation #23: Commit d3d8a37 pushed by fmontesi
25m 35s main
main
25m 35s
chore: bump toolchain to v4.27.0-rc1 (#217) Build and Deploy Documentation #22: Commit 7e1de7b pushed by kim-em
24m 56s main
main
24m 56s
chore: bump toolchain to v4.26.0 (#212) Build and Deploy Documentation #21: Commit c8bd20b pushed by kim-em
28m 12s main
main
28m 12s
chore: update readme with correct spelling and new website URL. Build and Deploy Documentation #20: Commit 3abcf19 pushed by fmontesi
29m 5s main
main
29m 5s
chore: add weekly linting workflow (#195) Build and Deploy Documentation #19: Commit 55d8cf5 pushed by fmontesi
25m 8s main
main
25m 8s