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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump toolchain to v4.25.0-rc2 (#622) Report PR testing status to the lean4 repository #142: Commit b51218c pushed by kim-em
5m 56s main
main
5m 56s
chore: bump to v4.25.0-rc1 (#621) Report PR testing status to the lean4 repository #141: Commit 779efcf pushed by kim-em
6m 5s main
main
6m 5s
feat: live links for uses of example directive (#609) Report PR testing status to the lean4 repository #140: Commit 21b517b pushed by jcreedcmu
5m 23s main
main
5m 23s
fix: make NatTree.beq recursive in InstanceDecls.lean (#614) Report PR testing status to the lean4 repository #139: Commit 91564e5 pushed by jcreedcmu
2m 25s main
main
2m 25s
chore: correct title of v4.24.0 release notes (#615) Report PR testing status to the lean4 repository #138: Commit 8b3ebf5 pushed by kim-em
1m 55s main
main
1m 55s
feat: Supported platforms list (#611) Report PR testing status to the lean4 repository #137: Commit 2c6595e pushed by david-christiansen
1m 50s main
main
1m 50s
chore: bump toolchain to v4.24.0 (#608) Report PR testing status to the lean4 repository #136: Commit 5e7d56c pushed by kim-em
7m 40s main
main
7m 40s
chore: add highlights for v4.24 release notes (#606) Report PR testing status to the lean4 repository #135: Commit ad9be6e pushed by nomeata
5m 55s main
main
5m 55s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/10730 Report PR testing status to the lean4 repository #134: Commit 0da19e3 pushed by leanprover-bot
5m 19s lean-pr-testing-10730
lean-pr-testing-10730
5m 19s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #133: Commit 6847c62 pushed by leanprover-bot
5m 54s lean-pr-testing-10741
lean-pr-testing-10741
5m 54s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/10730 Report PR testing status to the lean4 repository #132: Commit cac07a7 pushed by leanprover-bot
10m 47s lean-pr-testing-10730
lean-pr-testing-10730
10m 47s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #131: Commit 571c595 pushed by leanprover-bot
5m 36s lean-pr-testing-10730
lean-pr-testing-10730
5m 36s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #130: Commit b4edca0 pushed by leanprover-bot
6m 17s lean-pr-testing-10726
lean-pr-testing-10726
6m 17s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/10633 Report PR testing status to the lean4 repository #129: Commit 41ce57f pushed by leanprover-bot
6m 15s lean-pr-testing-10633
lean-pr-testing-10633
6m 15s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #128: Commit 63a5b06 pushed by leanprover-bot
5m 58s lean-pr-testing-10686
lean-pr-testing-10686
5m 58s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/10713 Report PR testing status to the lean4 repository #127: Commit d4a81aa pushed by leanprover-bot
1m 53s lean-pr-testing-10713
lean-pr-testing-10713
1m 53s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #126: Commit 43b178e pushed by leanprover-bot
7m 19s lean-pr-testing-10633
lean-pr-testing-10633
7m 19s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/10713 Report PR testing status to the lean4 repository #125: Commit 55a746f pushed by leanprover-bot
2m 14s lean-pr-testing-10713
lean-pr-testing-10713
2m 14s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #124: Commit 53b4a13 pushed by leanprover-bot
6m 40s lean-pr-testing-10714
lean-pr-testing-10714
6m 40s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #123: Commit 64e702c pushed by leanprover-bot
1m 51s lean-pr-testing-10713
lean-pr-testing-10713
1m 51s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/10680 Report PR testing status to the lean4 repository #122: Commit 1fa84c1 pushed by leanprover-bot
6m 1s lean-pr-testing-10680
lean-pr-testing-10680
6m 1s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #121: Commit 70efb5d pushed by leanprover-bot
5m 24s lean-pr-testing-10712
lean-pr-testing-10712
5m 24s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/10680 Report PR testing status to the lean4 repository #120: Commit 4563712 pushed by leanprover-bot
6m 15s lean-pr-testing-10680
lean-pr-testing-10680
6m 15s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #119: Commit b1e5a11 pushed by leanprover-bot
6m 16s lean-pr-testing-10660
lean-pr-testing-10660
6m 16s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/9855 Report PR testing status to the lean4 repository #118: Commit 18d0282 pushed by leanprover-bot
6m 1s lean-pr-testing-9855
lean-pr-testing-9855
6m 1s