Skip to content

Actions: leanprover/cslib

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
175 workflow runs
175 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
feat: Adding some CompRel lemmas to Relation for symmetric closure … Build and Deploy Documentation #50: Commit 581ab10 pushed by github-merge-queue Bot
3m 31s main
main
3m 31s
chore: upload lakeprof report (#272) Build and Deploy Documentation #49: Commit aaafda9 pushed by github-merge-queue Bot
22m 52s main
main
22m 52s
chore: add radar benchmark suite (#267) Build and Deploy Documentation #48: Commit 02e2a23 pushed by github-merge-queue Bot
25m 41s main
main
25m 41s
chore: cleanup of Cslib.Languages.LambdaCalculus.LocallyNameless.*… Build and Deploy Documentation #47: Commit 465167a pushed by github-merge-queue Bot
28m 17s main
main
28m 17s
feat: adding free reader monad API and minor edits to free writer and… Build and Deploy Documentation #46: Commit 26c0474 pushed by github-merge-queue Bot
28m 21s main
main
28m 21s
chore: weekly lints for 2026-01-05 (#245) Build and Deploy Documentation #45: Commit df95c8f pushed by github-merge-queue Bot
27m 25s main
main
27m 25s
feat: move to the module system (#243) Build and Deploy Documentation #44: Commit d61818c pushed by github-merge-queue Bot
29m 31s main
main
29m 31s
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