Skip to content

Actions: leanprover/reference-manual

Actions

Tag nightly-testing on toolchain version bumps

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tag-nightly-testing.yml
22 workflow runs
22 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-05-06 (#845) Tag nightly-testing on toolchain version bumps #22: Commit 0ccaae6 pushed by david-christiansen
29s nightly-testing
nightly-testing
29s
chore: bump to nightly-2026-05-01 (#844) Tag nightly-testing on toolchain version bumps #21: Commit 046ab94 pushed by david-christiansen
37s nightly-testing
nightly-testing
37s
chore: bump to nightly-2026-04-15 (#831) Tag nightly-testing on toolchain version bumps #20: Commit 64bc7ad pushed by david-christiansen
37s nightly-testing
nightly-testing
37s
chore: bump to nightly-2026-04-01 (#821) Tag nightly-testing on toolchain version bumps #19: Commit 388fd59 pushed by david-christiansen
32s nightly-testing
nightly-testing
32s
chore: bump to nightly-2026-03-12 (#802) Tag nightly-testing on toolchain version bumps #18: Commit 0f287e2 pushed by david-christiansen
25s nightly-testing
nightly-testing
25s
chore: bump to nightly-2026-03-11 (#799) Tag nightly-testing on toolchain version bumps #17: Commit 8cc475a pushed by david-christiansen
30s nightly-testing
nightly-testing
30s
chore: bump to nightly-2025-03-02 (#791) Tag nightly-testing on toolchain version bumps #16: Commit 82f46e9 pushed by david-christiansen
41s nightly-testing
nightly-testing
41s
chore: bump to 2025-02-20 (#787) Tag nightly-testing on toolchain version bumps #15: Commit 144c919 pushed by david-christiansen
27s nightly-testing
nightly-testing
27s
chore: bump to 2025-02-15 (#780) Tag nightly-testing on toolchain version bumps #14: Commit aa5bece pushed by david-christiansen
26s nightly-testing
nightly-testing
26s
chore: bump to 2026-02-11 (#779) Tag nightly-testing on toolchain version bumps #13: Commit 332be21 pushed by david-christiansen
23s nightly-testing
nightly-testing
23s
chore: bump to 2026-02-07 (#778) Tag nightly-testing on toolchain version bumps #12: Commit b31f404 pushed by david-christiansen
27s nightly-testing
nightly-testing
27s
chore: bump to 2026-02-05 (#776) Tag nightly-testing on toolchain version bumps #11: Commit 27425ff pushed by david-christiansen
26s nightly-testing
nightly-testing
26s
chore: bump to nightly-2026-01-27 (#766) Tag nightly-testing on toolchain version bumps #10: Commit b17b4ae pushed by david-christiansen
34s nightly-testing
nightly-testing
34s
chore: bump to nightly-2026-01-23 (#759) Tag nightly-testing on toolchain version bumps #9: Commit 228c56d pushed by david-christiansen
22s nightly-testing
nightly-testing
22s
chore: bump to 2026-01-20 (#755) Tag nightly-testing on toolchain version bumps #8: Commit 9e8ac01 pushed by david-christiansen
21s nightly-testing
nightly-testing
21s
chore: bump to nightly-2026-01-16 (#753) Tag nightly-testing on toolchain version bumps #7: Commit a3820fe pushed by david-christiansen
24s nightly-testing
nightly-testing
24s
chore: bump nightly to 2025-12-26 (#720) Tag nightly-testing on toolchain version bumps #6: Commit 35ddc97 pushed by robsimmons
18s nightly-testing
nightly-testing
18s
chore: bump nightly to 2025-12-24 (#718) Tag nightly-testing on toolchain version bumps #5: Commit 67398a3 pushed by robsimmons
17s nightly-testing
nightly-testing
17s
chore: bump nightly to 2025-12-19 (#715) Tag nightly-testing on toolchain version bumps #4: Commit b126d24 pushed by robsimmons
18s nightly-testing
nightly-testing
18s
chore: bump to nightly-2025-12-16 (#707) Tag nightly-testing on toolchain version bumps #3: Commit 78f7d16 pushed by robsimmons
20s nightly-testing
nightly-testing
20s
chore: merge main and update to nightly-2025-12-11 (#697) Tag nightly-testing on toolchain version bumps #2: Commit 70be18b pushed by david-christiansen
32s nightly-testing
nightly-testing
32s
chore: bump to nightly-2025-12-09 (#693) Tag nightly-testing on toolchain version bumps #1: Commit e2bcf14 pushed by david-christiansen
31s nightly-testing
nightly-testing
31s