Skip to content

Actions: leanprover/theorem_proving_in_lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
106 workflow runs
106 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Chapter 8.6 Functional Induction - simp ack is unsued build and test book content #1572: Pull request #216 opened by rubydusa
Action required rubydusa:Rubydusa/remove-unnecessary-ack
rubydusa:Rubydusa/remove-unnecessary-ack
Action required
pages build and deployment pages-build-deployment #67: by github-pages bot
31s gh-pages
gh-pages
31s
pages build and deployment pages-build-deployment #66: by github-pages bot
27s gh-pages
gh-pages
27s
fix: update Lean installation instructions link (#179) build and test book content #1570: Commit 63fad08 pushed by david-christiansen
29m 51s master
master
29m 51s
chore: bump to Lean v4.26.0 (#211) build and test book content #1569: Commit 45c7eb1 pushed by david-christiansen
26m 38s master
master
26m 38s
pages build and deployment pages-build-deployment #65: by github-pages bot
32s gh-pages
gh-pages
32s
Fix typo in dependent type theory chapter (#210) build and test book content #1568: Commit 06687ba pushed by david-christiansen
5m 58s master
master
5m 58s
Update Lean installation instructions link build and test book content #1567: Pull request #179 synchronize by david-christiansen
4m 25s VivienCabannes:patch-1
VivienCabannes:patch-1
4m 25s
pages build and deployment pages-build-deployment #64: by github-pages bot
30s gh-pages
gh-pages
30s
Update InductiveTypes.lean (#201) build and test book content #1566: Commit 880ad1d pushed by david-christiansen
4m 18s master
master
4m 18s
chore: bump to Lean v4.26.0 build and test book content #1565: Pull request #211 opened by david-christiansen
27m 8s bump-2025-12-19
bump-2025-12-19
27m 8s
Fix typo in dependent type theory chapter build and test book content #1564: Pull request #210 opened by edwag
3m 47s edwag:patch-1
edwag:patch-1
3m 47s
feat: Implement TeX/PDF rendering (#199) build and test book content #1560: Commit e32946a pushed by jcreedcmu
23m 10s master
master
23m 10s
pages build and deployment pages-build-deployment #63: by github-pages bot
28s gh-pages
gh-pages
28s
feat: Implement TeX/PDF rendering build and test book content #1559: Pull request #199 opened by jcreedcmu
22m 44s jcreedcmu:jcreed/tpil-latex
jcreedcmu:jcreed/tpil-latex
22m 44s
chore: bump toolchain to lean v4.26.0-rc2 and update to latest verso … build and test book content #1558: Commit 75cea3e pushed by jcreedcmu
23m 6s master
master
23m 6s
chore: bump toolchain to lean v4.26.0-rc2 and update to latest verso build and test book content #1557: Pull request #198 synchronize by jcreedcmu
23m 4s jcreedcmu:jcreed/bump-toolchain
jcreedcmu:jcreed/bump-toolchain
23m 4s
chore: bump toolchain to lean v4.26.0-rc2 and update to latest verso build and test book content #1556: Pull request #198 opened by jcreedcmu
23m 1s jcreedcmu:jcreed/bump-toolchain
jcreedcmu:jcreed/bump-toolchain
23m 1s
Merge pull request #197 from jcreedcmu/jcreed/no-toolchain build and test book content #1555: Commit 1ae3091 pushed by jcreedcmu
23m 17s master
master
23m 17s
chore: delete spurious old toolchain file build and test book content #1554: Pull request #197 opened by jcreedcmu
23m 5s jcreedcmu:jcreed/no-toolchain
jcreedcmu:jcreed/no-toolchain
23m 5s
Copilot code review Copilot code review #1: by Copilot AI
1m 14s refs/pull/179/head
refs/pull/179/head
1m 14s
chore: get latest Verso version (#177) build and test book content #1549: Commit 56e0e3d pushed by david-christiansen
24m 3s master
master
24m 3s
pages build and deployment pages-build-deployment #62: by github-pages bot
37s gh-pages
gh-pages
37s
chore: get latest Verso version build and test book content #1548: Pull request #177 opened by david-christiansen
23m 6s bump-2025-10-23
bump-2025-10-23
23m 6s
pages build and deployment pages-build-deployment #61: by github-pages bot
25s gh-pages
gh-pages
25s