Skip to content

Actions: leanprover/reference-manual

Actions

Report PR testing status to the lean4 repository

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-testing.yml
1,010 workflow runs
1,010 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: structured output (#547) Report PR testing status to the lean4 repository #35: Commit 3ae97df pushed by david-christiansen
4m 55s main
main
4m 55s
chore: add highlights for v4.22 release notes (#541) Report PR testing status to the lean4 repository #34: Commit 6e7efe1 pushed by nomeata
1m 43s main
main
1m 43s
chore: bump toolchain to v4.22.0-rc4 (#546) Report PR testing status to the lean4 repository #33: Commit 2c18688 pushed by kim-em
4m 36s main
main
4m 36s
feat: use the upstreamed search/quickjump code (#543) Report PR testing status to the lean4 repository #32: Commit 487ce92 pushed by david-christiansen
5m 12s main
main
5m 12s
chore: bump TL version (#544) Report PR testing status to the lean4 repository #31: Commit cd7a8d8 pushed by david-christiansen
3m 8s main
main
3m 8s
fix: make printed page look somewhat decent (#527) Report PR testing status to the lean4 repository #30: Commit 2ae52f3 pushed by david-christiansen
1m 36s main
main
1m 36s
chore(Grind): fix typo (#538) Report PR testing status to the lean4 repository #29: Commit 7ca8f63 pushed by nomeata
6m 16s main
main
6m 16s
Fix Typo (#536) Report PR testing status to the lean4 repository #28: Commit d322de3 pushed by nomeata
4m 43s main
main
4m 43s
fix: footnote (#531) Report PR testing status to the lean4 repository #27: Commit 7a95704 pushed by Kha
1m 39s main
main
1m 39s
chore: avoid immediate jargon (#530) Report PR testing status to the lean4 repository #26: Commit 1dda1fb pushed by Kha
1m 39s main
main
1m 39s
chore: add citation instructions (#526) Report PR testing status to the lean4 repository #25: Commit a5c12b7 pushed by david-christiansen
1m 40s main
main
1m 40s
feat: add module system appendix (#514) Report PR testing status to the lean4 repository #24: Commit 17fefab pushed by Kha
1m 40s main
main
1m 40s
feat: full-text search (#520) Report PR testing status to the lean4 repository #23: Commit 2c9a1d4 pushed by david-christiansen
4m 16s main
main
4m 16s
chore: bump toolchain to v4.22.0-rc3 (#522) Report PR testing status to the lean4 repository #22: Commit 1e08a0e pushed by kim-em
4m 46s main
main
4m 46s
chore: switch to faster runners for CI (#521) Report PR testing status to the lean4 repository #21: Commit 86d0038 pushed by david-christiansen
1m 39s main
main
1m 39s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/9017 Report PR testing status to the lean4 repository #20: Commit 1ec72bf pushed by leanprover-bot
12m 1s lean-pr-testing-9017
lean-pr-testing-9017
12m 1s
fix: typo (#519) Report PR testing status to the lean4 repository #19: Commit 60385cc pushed by nomeata
4m 27s main
main
4m 27s
fix: improve description of boxing/allocation for int types (#517) Report PR testing status to the lean4 repository #18: Commit 0aa8d5c pushed by david-christiansen
4m 21s main
main
4m 21s
fix: don't leak manual implementation details into the text (#515) Report PR testing status to the lean4 repository #17: Commit a07e6f1 pushed by david-christiansen
3m 19s main
main
3m 19s
fix: replace use of deleted GH action (#516) Report PR testing status to the lean4 repository #16: Commit 1f055e8 pushed by david-christiansen
6m 39s main
main
6m 39s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/9017 Report PR testing status to the lean4 repository #15: Commit ed4d942 pushed by leanprover-bot
4s lean-pr-testing-9017
lean-pr-testing-9017
4s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #14: Commit deba041 pushed by leanprover-bot
17m 22s lean-pr-testing-9017
lean-pr-testing-9017
17m 22s
doc: typo in the grind manual (#511) Report PR testing status to the lean4 repository #13: Commit e81ce30 pushed by nomeata
4m 43s main
main
4m 43s
chore: release notes for v4.22.0 (#510) Report PR testing status to the lean4 repository #12: Commit 5adbfa7 pushed by kim-em
5m 58s main
main
5m 58s
chore: bump toolchain to v4.22.0-rc2 Report PR testing status to the lean4 repository #11: Commit fe519c0 pushed by kim-em
18m 32s main
main
18m 32s
ProTip! You can narrow down the results and go further in time using created:<2025-06-30 or the other filters available.