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
154 workflow runs
154 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #79: Commit c913c44 pushed by leanprover-bot
6m 20s lean-pr-testing-9998
lean-pr-testing-9998
6m 20s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #78: Commit c4f1ff7 pushed by leanprover-bot
2m 29s lean-pr-testing-9944
lean-pr-testing-9944
2m 29s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #77: Commit 1a4e0ea pushed by leanprover-bot
8m 3s lean-pr-testing-9987
lean-pr-testing-9987
8m 3s
feat: cite McBride (#575) Report PR testing status to the lean4 repository #76: Commit 6445237 pushed by nomeata
2m 47s main
main
2m 47s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/9982 Report PR testing status to the lean4 repository #75: Commit ae9af67 pushed by leanprover-bot
6m 31s lean-pr-testing-9982
lean-pr-testing-9982
6m 31s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #74: Commit a8d0c87 pushed by leanprover-bot
6m 14s lean-pr-testing-9982
lean-pr-testing-9982
6m 14s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #73: Commit 7fcb1a4 pushed by leanprover-bot
6m 37s lean-pr-testing-9975
lean-pr-testing-9975
6m 37s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/9943 Report PR testing status to the lean4 repository #72: Commit 42975c3 pushed by leanprover-bot
5m 51s lean-pr-testing-9943
lean-pr-testing-9943
5m 51s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/9674 Report PR testing status to the lean4 repository #71: Commit 76ba1e6 pushed by leanprover-bot
5m 57s lean-pr-testing-9674
lean-pr-testing-9674
5m 57s
chore: adapt to updated argument and flag syntax (#570) Report PR testing status to the lean4 repository #70: Commit 423da5d pushed by david-christiansen
6m 7s main
main
6m 7s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/9943 Report PR testing status to the lean4 repository #69: Commit 91bf330 pushed by leanprover-bot
6m 8s lean-pr-testing-9943
lean-pr-testing-9943
6m 8s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #68: Commit 376d558 pushed by leanprover-bot
5m 51s lean-pr-testing-9674
lean-pr-testing-9674
5m 51s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/9951 Report PR testing status to the lean4 repository #67: Commit bb2cf6b pushed by leanprover-bot
5m 52s lean-pr-testing-9951
lean-pr-testing-9951
5m 52s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #66: Commit 971f485 pushed by leanprover-bot
5m 53s lean-pr-testing-9951
lean-pr-testing-9951
5m 53s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #65: Commit 5b458e1 pushed by leanprover-bot
5m 58s lean-pr-testing-9950
lean-pr-testing-9950
5m 58s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #64: Commit 274a1d8 pushed by leanprover-bot
5m 46s lean-pr-testing-9943
lean-pr-testing-9943
5m 46s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #63: Commit 05ba59d pushed by leanprover-bot
5m 54s lean-pr-testing-9929
lean-pr-testing-9929
5m 54s
fix: overzealous copy-paste (#569) Report PR testing status to the lean4 repository #62: Commit f92bb90 pushed by david-christiansen
2m 5s main
main
2m 5s
feat: list mvcgen and stateful proof mode tactics in tactic referen… Report PR testing status to the lean4 repository #61: Commit 6356769 pushed by david-christiansen
5m 40s main
main
5m 40s
chore: bump toolchain to v4.23.0-rc2 (#567) Report PR testing status to the lean4 repository #60: Commit eaa3fd1 pushed by kim-em
6m 0s main
main
6m 0s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/9599 Report PR testing status to the lean4 repository #59: Commit 5a0a700 pushed by leanprover-bot
6m 12s lean-pr-testing-9599
lean-pr-testing-9599
6m 12s
chore: bump toolchain to v4.23.0-rc1 (#563) Report PR testing status to the lean4 repository #58: Commit bcbe589 pushed by kim-em
6m 3s main
main
6m 3s
chore: update v4.22.0 release notes page for stable version (#565) Report PR testing status to the lean4 repository #57: Commit 2bb2a5e pushed by kim-em
1m 52s main
main
1m 52s
chore: bump toolchain to v4.22.0 (#564) Report PR testing status to the lean4 repository #56: Commit 8025368 pushed by kim-em
5m 27s main
main
5m 27s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/9258 Report PR testing status to the lean4 repository #55: Commit 1823eac pushed by leanprover-bot
7m 3s lean-pr-testing-9258
lean-pr-testing-9258
7m 3s