Skip to content

Actions: leanprover/reference-manual

Actions

Deploy Tagged Version

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release-tag.yml
68 workflow runs
68 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 toolchain to v4.34.0-rc1 (#917) Deploy Tagged Version #84: Commit aaa6453 pushed by Garmelon
19m 30s v4.34.0-rc1
v4.34.0-rc1
19m 30s
chore: bump toolchain to v4.33.0 (#915) Deploy Tagged Version #83: Commit 02d0d61 pushed by Garmelon
20m 29s v4.33.0
v4.33.0
20m 29s
chore: bump toolchain to v4.33.0-rc2 (#909) Deploy Tagged Version #82: Commit 527c864 pushed by Garmelon
15m 39s v4.33.0-rc2
v4.33.0-rc2
15m 39s
feat: release notes for 4.32.2 (#906) Deploy Tagged Version #81: Commit 7c5801e pushed by Garmelon
18m 52s v4.33.0-rc1
v4.33.0-rc1
18m 52s
Deploy Tagged Version Deploy Tagged Version #80: by Garmelon
20m 8s v4.32.2
v4.32.2
20m 8s
Deploy Tagged Version Deploy Tagged Version #79: by Garmelon
17m 35s v4.32.1
v4.32.1
17m 35s
feat: release notes for 4.32.1 (#903) Deploy Tagged Version #78: Commit 94c1e97 pushed by Garmelon
18m 17s v4.33.0-rc1
v4.33.0-rc1
18m 17s
chore: bump toolchain to v4.33.0-rc1 (#897) Deploy Tagged Version #77: Commit c8193e0 pushed by Garmelon
18m 36s v4.33.0-rc1
v4.33.0-rc1
18m 36s
chore: bump toolchain to v4.32.0 (#888) Deploy Tagged Version #76: Commit 5d2a1e3 pushed by Garmelon
19m 37s v4.32.0
v4.32.0
19m 37s
chore: bump toolchain to v4.32.0-rc1 (#867) Deploy Tagged Version #75: Commit 421d8a1 pushed by Garmelon
17m 56s v4.32.0-rc1
v4.32.0-rc1
17m 56s
chore: bump toolchain to v4.31.0 (#865) Deploy Tagged Version #74: Commit 60ca564 pushed by Garmelon
19m 38s v4.31.0
v4.31.0
19m 38s
doc: add v4.31.0 highlights (#864) Deploy Tagged Version #73: Commit 10fbd87 pushed by Garmelon
18m 47s v4.31.0-rc2
v4.31.0-rc2
18m 47s
fix: tutorial header permalinks (#861) Deploy Tagged Version #72: Commit 01954c4 pushed by david-christiansen
17m 20s v4.31.0-rc2
v4.31.0-rc2
17m 20s
chore: bump verso-web-components Deploy Tagged Version #71: Commit e303f7c pushed by david-christiansen
17m 12s v4.30.0
v4.30.0
17m 12s
chore: bump toolchain to v4.31.0-rc2 (#860) Deploy Tagged Version #70: Commit 016b4d6 pushed by Garmelon
19m 15s v4.31.0-rc2
v4.31.0-rc2
19m 15s
chore: fix release notes (#859) Deploy Tagged Version #69: Commit 3a1c929 pushed by Garmelon
18m 0s v4.31.0-rc1
v4.31.0-rc1
18m 0s
fix: remove elan-init script (#858) Deploy Tagged Version #68: Commit 4488feb pushed by david-christiansen
18m 38s v4.31.0-rc1
v4.31.0-rc1
18m 38s
chore: bump toolchain to v4.31.0-rc1 (#857) Deploy Tagged Version #67: Commit 1228f28 pushed by Garmelon
17m 46s v4.31.0-rc1
v4.31.0-rc1
17m 46s
chore: bump toolchain to v4.30.0 (#854) Deploy Tagged Version #66: Commit be77c0d pushed by Garmelon
19m 28s v4.30.0
v4.30.0
19m 28s
chore: bump toolchain to v4.30.0-rc2 (#835) Deploy Tagged Version #65: Commit ab5be92 pushed by Garmelon
18m 41s v4.30.0-rc2
v4.30.0-rc2
18m 41s
doc: add release notes for v4.29.1 and v4.28.1 (#830) Deploy Tagged Version #64: Commit d2fdf5a pushed by Garmelon
18m 16s v4.30.0-rc1
v4.30.0-rc1
18m 16s
feat: external checkers (#829) Deploy Tagged Version #63: Commit 608d7cb pushed by david-christiansen
18m 28s v4.30.0-rc1
v4.30.0-rc1
18m 28s
chore: bump toolchain to v4.30.0-rc1 (#824) Deploy Tagged Version #62: Commit 7f7aaaa pushed by kim-em
16m 26s v4.30.0-rc1
v4.30.0-rc1
16m 26s
feat: add highlights for v4.29 (#806) Deploy Tagged Version #61: Commit aeccfa7 pushed by Garmelon
19m 48s v4.29.0
v4.29.0
19m 48s
chore: bump toolchain to v4.29.0 (#819) Deploy Tagged Version #60: Commit a9a9eb3 pushed by Garmelon
18m 22s v4.29.0
v4.29.0
18m 22s