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
38 workflow runs
38 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 2026-09-15 (#943) Tag nightly-testing on toolchain version bumps #38: Commit dd2eefb pushed by david-christiansen
46s nightly-testing
nightly-testing
46s
chore: bump to nightly-2026-09-14 (#942) Tag nightly-testing on toolchain version bumps #37: Commit 149537c pushed by david-christiansen
45s nightly-testing
nightly-testing
45s
chore: bump to nightly-2026-09-12 (#940) Tag nightly-testing on toolchain version bumps #36: Commit f7a06e1 pushed by david-christiansen
40s nightly-testing
nightly-testing
40s
chore: bump to nightly-2026-09-06 (#938) Tag nightly-testing on toolchain version bumps #35: Commit d30347c pushed by david-christiansen
40s nightly-testing
nightly-testing
40s
chore: bump to 2026-08-31 (#932) Tag nightly-testing on toolchain version bumps #34: Commit 367579a pushed by david-christiansen
44s nightly-testing
nightly-testing
44s
chore: bump to nightly-2026-08-26 (#931) Tag nightly-testing on toolchain version bumps #33: Commit 0361173 pushed by david-christiansen
43s nightly-testing
nightly-testing
43s
chore: bump to nightly-2026-08-18 (#925) Tag nightly-testing on toolchain version bumps #32: Commit b6fc2c9 pushed by david-christiansen
42s nightly-testing
nightly-testing
42s
chore: bump to nightly-2026-08-10 (#916) Tag nightly-testing on toolchain version bumps #31: Commit 06897e3 pushed by david-christiansen
1m 19s nightly-testing
nightly-testing
1m 19s
chore: bump to nightly-2026-08-09 (#914) Tag nightly-testing on toolchain version bumps #30: Commit a7abe76 pushed by david-christiansen
44s nightly-testing
nightly-testing
44s
chore: bump to nightly-2026-08-06 (#911) Tag nightly-testing on toolchain version bumps #29: Commit ea30262 pushed by david-christiansen
44s nightly-testing
nightly-testing
44s
feat: basic documentation for grindHom and grindHomPred (#904) Tag nightly-testing on toolchain version bumps #28: Commit f4e1f56 pushed by robsimmons
47s nightly-testing
nightly-testing
47s
chore: bump to 2026-07-12 (#887) Tag nightly-testing on toolchain version bumps #27: Commit 6f7ce27 pushed by robsimmons
1m 33s nightly-testing
nightly-testing
1m 33s
chore: bump toolchain to 2026-07-08 (#885) Tag nightly-testing on toolchain version bumps #26: Commit b7ed6f4 pushed by robsimmons
41s nightly-testing
nightly-testing
41s
chore: documentation for new Lake options (#883) Tag nightly-testing on toolchain version bumps #25: Commit 7c80d57 pushed by robsimmons
38s nightly-testing
nightly-testing
38s
chore: document ir.sig, update module system reference (#872) Tag nightly-testing on toolchain version bumps #24: Commit ac1e606 pushed by robsimmons
1m 7s nightly-testing
nightly-testing
1m 7s
chore: merge main and update to nightly-2026-06-22 (#870) Tag nightly-testing on toolchain version bumps #23: Commit 116c7fb pushed by david-christiansen
35s nightly-testing
nightly-testing
35s
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