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
737 workflow runs
737 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… Report PR testing status to the lean4 repository #737: Commit 55cc68b pushed by leanprover-bot
5m 10s lean-pr-testing-14205
lean-pr-testing-14205
5m 10s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #736: Commit c8a5bef pushed by leanprover-bot
4m 39s lean-pr-testing-14198
lean-pr-testing-14198
4m 39s
fix: dfa example typo (#877) Report PR testing status to the lean4 repository #735: Commit 48748e9 pushed by github-merge-queue Bot
1m 25s main
main
1m 25s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #734: Commit f6bae2b pushed by leanprover-bot
4m 34s lean-pr-testing-14101
lean-pr-testing-14101
4m 34s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/14196 Report PR testing status to the lean4 repository #733: Commit 08249b4 pushed by leanprover-bot
6m 48s lean-pr-testing-14196
lean-pr-testing-14196
6m 48s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #732: Commit ce3c80f pushed by leanprover-bot
5m 50s lean-pr-testing-14196
lean-pr-testing-14196
5m 50s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/14194 Report PR testing status to the lean4 repository #731: Commit 4959d7d pushed by leanprover-bot
5m 32s lean-pr-testing-14194
lean-pr-testing-14194
5m 32s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/14192 Report PR testing status to the lean4 repository #730: Commit fecbf75 pushed by leanprover-bot
4m 35s lean-pr-testing-14192
lean-pr-testing-14192
4m 35s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #729: Commit ad69610 pushed by leanprover-bot
5m 41s lean-pr-testing-14194
lean-pr-testing-14194
5m 41s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #728: Commit e1902c6 pushed by leanprover-bot
5m 52s lean-pr-testing-14192
lean-pr-testing-14192
5m 52s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #727: Commit 8c5cc54 pushed by leanprover-bot
4m 21s lean-pr-testing-13895
lean-pr-testing-13895
4m 21s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/14184 Report PR testing status to the lean4 repository #726: Commit 7319362 pushed by leanprover-bot
5m 27s lean-pr-testing-14184
lean-pr-testing-14184
5m 27s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #725: Commit ba8ae99 pushed by leanprover-bot
4m 53s lean-pr-testing-14182
lean-pr-testing-14182
4m 53s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #724: Commit 7390b88 pushed by leanprover-bot
5m 32s lean-pr-testing-14184
lean-pr-testing-14184
5m 32s
doc: fix typo in Inductive Types (#871) Report PR testing status to the lean4 repository #723: Commit 34b237a pushed by github-merge-queue Bot
1m 40s main
main
1m 40s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #722: Commit da69ae7 pushed by leanprover-bot
5m 16s lean-pr-testing-14153
lean-pr-testing-14153
5m 16s
doc: fix typo in Inductive Types (#869) Report PR testing status to the lean4 repository #721: Commit 89f3a9d pushed by github-merge-queue Bot
1m 35s main
main
1m 35s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13171 Report PR testing status to the lean4 repository #720: Commit 472627b pushed by leanprover-bot
1m 32s lean-pr-testing-13171
lean-pr-testing-13171
1m 32s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13171 Report PR testing status to the lean4 repository #719: Commit 15adac7 pushed by leanprover-bot
1m 43s lean-pr-testing-13171
lean-pr-testing-13171
1m 43s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13171 Report PR testing status to the lean4 repository #718: Commit edaf742 pushed by leanprover-bot
1m 35s lean-pr-testing-13171
lean-pr-testing-13171
1m 35s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13171 Report PR testing status to the lean4 repository #717: Commit b08d3f5 pushed by leanprover-bot
1m 35s lean-pr-testing-13171
lean-pr-testing-13171
1m 35s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13171 Report PR testing status to the lean4 repository #716: Commit 0fc4fbb pushed by leanprover-bot
1m 33s lean-pr-testing-13171
lean-pr-testing-13171
1m 33s
feat: tighten inductive FFI description (#863) Report PR testing status to the lean4 repository #715: Commit 430f5e0 pushed by github-merge-queue Bot
3m 41s main
main
3m 41s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13171 Report PR testing status to the lean4 repository #714: Commit f24fafa pushed by leanprover-bot
1m 14s lean-pr-testing-13171
lean-pr-testing-13171
1m 14s
chore: bump toolchain to v4.32.0-rc1 (#867) Report PR testing status to the lean4 repository #713: Commit 421d8a1 pushed by github-merge-queue Bot
4m 18s main
main
4m 18s