Skip to content

Actions: leanprover/reference-manual

Actions

Build and check HTML

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,164 workflow run results
1,164 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update lean-toolchain for https://github.com/leanprover/lean4/pull/9017 Build and check HTML #1223: Commit ed4d942 pushed by leanprover-bot
4s lean-pr-testing-9017
lean-pr-testing-9017
4s
feat: add module system appendix Build and check HTML #1222: Pull request #514 opened by Kha
7s module-system
module-system
7s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #1221: Commit deba041 pushed by leanprover-bot
17m 5s lean-pr-testing-9017
lean-pr-testing-9017
17m 5s
doc: swap sides of equality in grind Build and check HTML #1220: Pull request #512 opened by adomani
6m 8s adomani:patch-2
adomani:patch-2
6m 8s
doc: typo in the grind manual (#511) Build and check HTML #1219: Commit e81ce30 pushed by nomeata
6m 4s main
main
6m 4s
chore: release notes for v4.22.0 (#510) Build and check HTML #1217: Commit 5adbfa7 pushed by kim-em
8m 15s main
main
8m 15s
chore: release notes for v4.22.0 Build and check HTML #1216: Pull request #510 synchronize by kim-em
20m 12s release_notes_22
release_notes_22
20m 12s
chore: bump toolchain to v4.22.0-rc2 Build and check HTML #1215: Commit fe519c0 pushed by kim-em
20m 6s main
main
20m 6s
chore: release notes for v4.22.0 Build and check HTML #1214: Pull request #510 synchronize by kim-em
6m 15s release_notes_22
release_notes_22
6m 15s
chore: release notes for v4.22.0 Build and check HTML #1213: Pull request #510 synchronize by kim-em
2m 46s release_notes_22
release_notes_22
2m 46s
chore: release notes for v4.22.0 Build and check HTML #1212: Pull request #510 opened by kim-em
1m 27s release_notes_22
release_notes_22
1m 27s
chore: bump toolchain to v4.22.0-rc2 Build and check HTML #1210: Pull request #509 synchronize by kim-em
20m 51s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
20m 51s
chore: bump toolchain to v4.22.0-rc2 Build and check HTML #1211: Pull request #509 reopened by kim-em
20m 19s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
20m 19s
chore: bump toolchain to v4.22.0-rc2 Build and check HTML #1209: Pull request #509 opened by kim-em
20m 56s bump_to_v4.22.0-rc2
bump_to_v4.22.0-rc2
20m 56s
feat: further grind examples Build and check HTML #1208: Commit f8535c9 pushed by kim-em
3m 42s main
main
3m 42s
feat: further grind examples Build and check HTML #1207: Pull request #501 synchronize by kim-em
4m 54s grind_examples
grind_examples
4m 54s
chore: fix release metadata Build and check HTML #1206: Commit 6223860 pushed by david-christiansen
21m 39s main
main
21m 39s
chore: v4.22-rc1 release Build and check HTML #1205: Pull request #508 synchronize by david-christiansen
21m 11s main-with-22
main-with-22
21m 11s
chore: v4.22-rc1 release Build and check HTML #1204: Pull request #508 opened by david-christiansen
20m 30s main-with-22
main-with-22
20m 30s
chore: bump toolchain to v4.22.0-rc1 Build and check HTML #1203: Pull request #507 opened by kim-em
32m 57s bump_to_v4.22.0-rc1
bump_to_v4.22.0-rc1
32m 57s
fix: stray variable decl (#506) Build and check HTML #1202: Commit e8e656f pushed by david-christiansen
5m 0s main
main
5m 0s
fix: grammatical error (#505) Build and check HTML #1201: Commit bf71ee2 pushed by david-christiansen
4m 41s main
main
4m 41s
fix: more consistent terminology for inductive types (#504) Build and check HTML #1200: Commit e1bf9e7 pushed by david-christiansen
5m 32s main
main
5m 32s
fix: stray variable decl Build and check HTML #1199: Pull request #506 opened by david-christiansen
4m 23s single-french
single-french
4m 23s
fix: grammatical error Build and check HTML #1198: Pull request #505 opened by david-christiansen
4m 32s lang-fix
lang-fix
4m 32s