Skip to content

Actions: leanprover/reference-manual

Actions

Discover `lean-pr-testing` branches

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
discover-lean-pr-testing.yml
56 workflow runs
56 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
chore: bump to nightly-2026-08-10 (#916) Discover `lean-pr-testing` branches #56: Commit 06897e3 pushed by david-christiansen
1m 16s nightly-testing
nightly-testing
1m 16s
chore: bump to nightly-2026-08-09 (#914) Discover `lean-pr-testing` branches #55: Commit a7abe76 pushed by david-christiansen
1m 27s nightly-testing
nightly-testing
1m 27s
chore: bump to nightly-2026-08-06 (#911) Discover `lean-pr-testing` branches #54: Commit ea30262 pushed by david-christiansen
1m 59s nightly-testing
nightly-testing
1m 59s
feat: basic documentation for grindHom and grindHomPred (#904) Discover `lean-pr-testing` branches #53: Commit f4e1f56 pushed by robsimmons
1m 41s nightly-testing
nightly-testing
1m 41s
chore: bump to 2026-07-12 (#887) Discover `lean-pr-testing` branches #52: Commit 6f7ce27 pushed by robsimmons
1m 26s nightly-testing
nightly-testing
1m 26s
chore: bump toolchain to 2026-07-08 (#885) Discover `lean-pr-testing` branches #51: Commit b7ed6f4 pushed by robsimmons
1m 34s nightly-testing
nightly-testing
1m 34s
chore: documentation for new Lake options (#883) Discover `lean-pr-testing` branches #50: Commit 7c80d57 pushed by robsimmons
1m 29s nightly-testing
nightly-testing
1m 29s
chore: document ir.sig, update module system reference (#872) Discover `lean-pr-testing` branches #49: Commit ac1e606 pushed by robsimmons
1m 34s nightly-testing
nightly-testing
1m 34s
chore: merge main and update to nightly-2026-06-22 (#870) Discover `lean-pr-testing` branches #48: Commit 116c7fb pushed by david-christiansen
2m 28s nightly-testing
nightly-testing
2m 28s
chore: bump to nightly-2026-05-06 (#845) Discover `lean-pr-testing` branches #47: Commit 0ccaae6 pushed by david-christiansen
1m 18s nightly-testing
nightly-testing
1m 18s
chore: bump to nightly-2026-05-01 (#844) Discover `lean-pr-testing` branches #46: Commit 046ab94 pushed by david-christiansen
1m 25s nightly-testing
nightly-testing
1m 25s
chore: bump to nightly-2026-04-15 (#831) Discover `lean-pr-testing` branches #45: Commit 64bc7ad pushed by david-christiansen
1m 50s nightly-testing
nightly-testing
1m 50s
chore: bump to nightly-2026-04-01 (#821) Discover `lean-pr-testing` branches #44: Commit 388fd59 pushed by david-christiansen
1m 55s nightly-testing
nightly-testing
1m 55s
chore: bump to nightly-2026-03-12 (#802) Discover `lean-pr-testing` branches #43: Commit 0f287e2 pushed by david-christiansen
1m 18s nightly-testing
nightly-testing
1m 18s
chore: bump to nightly-2026-03-11 (#799) Discover `lean-pr-testing` branches #42: Commit 8cc475a pushed by david-christiansen
1m 32s nightly-testing
nightly-testing
1m 32s
chore: bump to nightly-2025-03-02 (#791) Discover `lean-pr-testing` branches #41: Commit 82f46e9 pushed by david-christiansen
1m 34s nightly-testing
nightly-testing
1m 34s
chore: bump to 2025-02-20 (#787) Discover `lean-pr-testing` branches #40: Commit 144c919 pushed by david-christiansen
1m 16s nightly-testing
nightly-testing
1m 16s
chore: bump to 2025-02-15 (#780) Discover `lean-pr-testing` branches #39: Commit aa5bece pushed by david-christiansen
56s nightly-testing
nightly-testing
56s
chore: bump to 2026-02-11 (#779) Discover `lean-pr-testing` branches #38: Commit 332be21 pushed by david-christiansen
41s nightly-testing
nightly-testing
41s
chore: bump to 2026-02-07 (#778) Discover `lean-pr-testing` branches #37: Commit b31f404 pushed by david-christiansen
1m 2s nightly-testing
nightly-testing
1m 2s
chore: bump to 2026-02-05 (#776) Discover `lean-pr-testing` branches #36: Commit 27425ff pushed by david-christiansen
1m 1s nightly-testing
nightly-testing
1m 1s
chore: bump to nightly-2026-01-27 (#766) Discover `lean-pr-testing` branches #35: Commit b17b4ae pushed by david-christiansen
2m 36s nightly-testing
nightly-testing
2m 36s
chore: bump to nightly-2026-01-23 (#759) Discover `lean-pr-testing` branches #34: Commit 228c56d pushed by david-christiansen
50s nightly-testing
nightly-testing
50s
chore: bump to 2026-01-20 (#755) Discover `lean-pr-testing` branches #33: Commit 9e8ac01 pushed by david-christiansen
1m 5s nightly-testing
nightly-testing
1m 5s
chore: bump to nightly-2026-01-16 (#753) Discover `lean-pr-testing` branches #32: Commit a3820fe pushed by david-christiansen
1m 8s nightly-testing
nightly-testing
1m 8s