Skip to content

Actions: leanprover/cslib

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
97 workflow runs
97 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: generalize time_tick and ret_tick (#362) Build and Deploy Documentation #97: Commit e448602 pushed by github-merge-queue bot
28m 30s main
main
28m 30s
feat: generalize TimeM to arbitrary cost types providing AddZero … Build and Deploy Documentation #96: Commit b00648a pushed by github-merge-queue bot
24m 16s main
main
24m 16s
feat: add background and orientation information on how to contribute… Build and Deploy Documentation #95: Commit 481ecc8 pushed by fmontesi
28m 32s main
main
28m 32s
feat: prove the Ramsey theorem for infinite graphs (#281) Build and Deploy Documentation #94: Commit 18b4b74 pushed by github-merge-queue bot
11m 53s main
main
11m 53s
fix: specify -X GET in gh api call (#354) Build and Deploy Documentation #93: Commit bb4a71d pushed by github-merge-queue bot
27m 6s main
main
27m 6s
ci: allow ci prefix in PR titles (#355) Build and Deploy Documentation #92: Commit c49f8ce pushed by github-merge-queue bot
25m 21s main
main
25m 21s
doc: update CONTRIBUTING.md (#356) Build and Deploy Documentation #91: Commit e5b26e3 pushed by github-merge-queue bot
25m 53s main
main
25m 53s
feat: deterministic relations (#353) Build and Deploy Documentation #90: Commit 800c94b pushed by github-merge-queue bot
26m 33s main
main
26m 33s
chore(CombinatoryLogic): miscellaneous grind golfing (#345) Build and Deploy Documentation #89: Commit 24899be pushed by github-merge-queue bot
29m 49s main
main
29m 49s
chore: bump toolchain to v4.29.0-rc1 (#344) Build and Deploy Documentation #88: Commit 1bb3a54 pushed by github-merge-queue bot
6m 45s main
main
6m 45s
feat(CombinatoryLogic): add Church-encoded list infrastructure for SK… Build and Deploy Documentation #87: Commit b13a672 pushed by github-merge-queue bot
31m 9s main
main
31m 9s
chore(CombinatoryLogic): use Relation infrastructure (#342) Build and Deploy Documentation #86: Commit f87b4e8 pushed by github-merge-queue bot
31m 14s main
main
31m 14s
chore: weekly linting for 2026-02-02 (#312) Build and Deploy Documentation #85: Commit 6ee9b34 pushed by github-merge-queue bot
27m 12s main
main
27m 12s
chore: create GitHub releases from version tags (#340) Build and Deploy Documentation #84: Commit f4f1fa1 pushed by github-merge-queue bot
27m 1s main
main
27m 1s
chore: use authenticated gh api in nightly bump workflow (#341) Build and Deploy Documentation #83: Commit 28ff669 pushed by github-merge-queue bot
27m 4s main
main
27m 4s
chore: bump toolchain to v4.28.0 (#339) Build and Deploy Documentation #82: Commit 11b70e5 pushed by github-merge-queue bot
31m 18s main
main
31m 18s
feat: define BuchiCongruence and prove that it is a right congruence … Build and Deploy Documentation #81: Commit a79f1c2 pushed by github-merge-queue bot
26m 45s main
main
26m 45s
feat: An Alternative Definition of the Locally Closed Term of Locally… Build and Deploy Documentation #80: Commit ba0fb9d pushed by github-merge-queue bot
25m 58s main
main
25m 58s
feat(Computability): add Unlimited Register Machines (#299) Build and Deploy Documentation #79: Commit 3be3225 pushed by github-merge-queue bot
29m 46s main
main
29m 46s
chore: remove ReductionSystem (#320) Build and Deploy Documentation #78: Commit 939bd13 pushed by github-merge-queue bot
26m 13s main
main
26m 13s
chore: lake update for 2026-02-06 (#326) Build and Deploy Documentation #77: Commit f0d87b6 pushed by github-merge-queue bot
28m 41s main
main
28m 41s
feat: Hennessy-Milner logic (#319) Build and Deploy Documentation #76: Commit 329a0dc pushed by github-merge-queue bot
28m 27s main
main
28m 27s
fix: do not redefine clog2 (#322) Build and Deploy Documentation #75: Commit 4b23820 pushed by github-merge-queue bot
26m 6s main
main
26m 6s
refactor: Update TimeM to match the version in the whitepaper (#321) Build and Deploy Documentation #74: Commit f7ab865 pushed by github-merge-queue bot
28m 44s main
main
28m 44s
feat: TimeM is a LawfulMonad (#316) Build and Deploy Documentation #73: Commit 9afdb6a pushed by github-merge-queue bot
22m 57s main
main
22m 57s