Skip to content

Actions: leanprover/reference-manual

Actions

Build and check HTML

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,065 workflow runs
2,065 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
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3136: Commit 55cc68b pushed by leanprover-bot
6m 27s lean-pr-testing-14205
lean-pr-testing-14205
6m 27s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3135: Commit c8a5bef pushed by leanprover-bot
6m 34s lean-pr-testing-14198
lean-pr-testing-14198
6m 34s
fix: dfa example typo (#877) Build and check HTML #3134: Commit 48748e9 pushed by github-merge-queue Bot
6m 49s main
main
6m 49s
Build and check HTML Build and check HTML #3133: Merge group checks requested
5m 58s
5m 58s
fix: dfa example typo Build and check HTML #3132: Pull request #877 opened by robsimmons
8m 12s dfa-typo
dfa-typo
8m 12s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3131: Commit f6bae2b pushed by leanprover-bot
5m 44s lean-pr-testing-14101
lean-pr-testing-14101
5m 44s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/14196 Build and check HTML #3130: Commit 08249b4 pushed by leanprover-bot
8m 22s lean-pr-testing-14196
lean-pr-testing-14196
8m 22s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3129: Commit ce3c80f pushed by leanprover-bot
7m 10s lean-pr-testing-14196
lean-pr-testing-14196
7m 10s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/14194 Build and check HTML #3128: Commit 4959d7d pushed by leanprover-bot
6m 51s lean-pr-testing-14194
lean-pr-testing-14194
6m 51s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/14192 Build and check HTML #3127: Commit fecbf75 pushed by leanprover-bot
6m 30s lean-pr-testing-14192
lean-pr-testing-14192
6m 30s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3126: Commit ad69610 pushed by leanprover-bot
6m 56s lean-pr-testing-14194
lean-pr-testing-14194
6m 56s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3125: Commit e1902c6 pushed by leanprover-bot
6m 33s lean-pr-testing-14192
lean-pr-testing-14192
6m 33s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3124: Commit 8c5cc54 pushed by leanprover-bot
5m 10s lean-pr-testing-13895
lean-pr-testing-13895
5m 10s
fix: adapt to module system, now 'public section' prints (#876) Build and check HTML #3123: Commit e344e08 pushed by robsimmons
10m 15s nightly-testing
nightly-testing
10m 15s
fix: adapt to module system, now 'public section' prints Build and check HTML #3122: Pull request #876 opened by robsimmons
10m 21s bump-2026-06-25-e
bump-2026-06-25-e
10m 21s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/14184 Build and check HTML #3121: Commit 7319362 pushed by leanprover-bot
6m 44s lean-pr-testing-14184
lean-pr-testing-14184
6m 44s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3120: Commit ba8ae99 pushed by leanprover-bot
6m 4s lean-pr-testing-14182
lean-pr-testing-14182
6m 4s
feat: add more tactic examples and documentation Build and check HTML #3119: Pull request #843 synchronize by jcreedcmu
7m 59s jcreedcmu:jcreed/tactics
jcreedcmu:jcreed/tactics
7m 59s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3118: Commit 7390b88 pushed by leanprover-bot
6m 21s lean-pr-testing-14184
lean-pr-testing-14184
6m 21s
doc: fix typo in Inductive Types (#871) Build and check HTML #3117: Commit 34b237a pushed by github-merge-queue Bot
6m 59s main
main
6m 59s
fix: improve new Float content based on feedback from Julia (#875) Build and check HTML #3116: Commit b349978 pushed by david-christiansen
6m 47s nightly-testing
nightly-testing
6m 47s
Build and check HTML Build and check HTML #3115: Merge group checks requested
5m 55s
5m 55s
fix: improve new Float content based on feedback from Julia Build and check HTML #3114: Pull request #875 opened by david-christiansen
6m 29s float-improvement-nightly
float-improvement-nightly
6m 29s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #3113: Commit da69ae7 pushed by leanprover-bot
7m 33s lean-pr-testing-14153
lean-pr-testing-14153
7m 33s
chore: merge main into nightly-2026-06-25, really merge Build and check HTML #3112: Commit d7ff436 pushed by robsimmons
6m 2s nightly-testing
nightly-testing
6m 2s