Skip to content

Actions: leanprover/reference-manual

Actions

Deploy Tagged Version

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release-tag.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deploy Tagged Version Deploy Tagged Version #31: by robsimmons
14m 19s v4.24.0
v4.24.0
14m 19s
fix: update verso pointer Deploy Tagged Version #30: Commit bdb73c2 pushed by robsimmons
21m 29s v4.24.0
v4.24.0
21m 29s
chore: bump toolchain to v4.24.0 (#608) Deploy Tagged Version #29: Commit 5e7d56c pushed by kim-em
20m 0s v4.24.0
v4.24.0
20m 0s
feat: add v4.24.0 release notes (#593) Deploy Tagged Version #28: Commit a905fda pushed by kim-em
2m 34s v4.24.0-rc1
v4.24.0-rc1
2m 34s
chore: update to v4.24.0-rc1 (#591) Deploy Tagged Version #27: Commit 9bbf40b pushed by david-christiansen
22m 26s v4.24.0-rc1
v4.24.0-rc1
22m 26s
chore: add paragraph about grind? and grind only (#585) Deploy Tagged Version #26: Commit 4c74a7d pushed by kim-em
3m 56s v4.23.0
v4.23.0
3m 56s
chore: bump toolchain to v4.23.0-rc2 (#567) Deploy Tagged Version #25: Commit eaa3fd1 pushed by kim-em
3m 18s v4.23.0-rc2
v4.23.0-rc2
3m 18s
chore: bump toolchain to v4.23.0-rc1 (#563) Deploy Tagged Version #24: Commit bcbe589 pushed by kim-em
3m 20s v4.23.0-rc1
v4.23.0-rc1
3m 20s
chore: update v4.22.0 release notes page for stable version (#565) Deploy Tagged Version #23: Commit 2bb2a5e pushed by kim-em
3m 28s v4.22.0
v4.22.0
3m 28s
chore: bump toolchain to v4.22.0 (#564) Deploy Tagged Version #22: Commit 8025368 pushed by kim-em
3m 32s v4.22.0
v4.22.0
3m 32s
chore: bump toolchain to v4.22.0-rc4 (#546) Deploy Tagged Version #21: Commit 2c18688 pushed by kim-em
18m 42s v4.22.0-rc4
v4.22.0-rc4
18m 42s
chore: bump toolchain to v4.22.0-rc3 (#522) Deploy Tagged Version #20: Commit 1e08a0e pushed by kim-em
19m 0s v4.22.0-rc3
v4.22.0-rc3
19m 0s
chore: release notes for v4.22.0 (#510) Deploy Tagged Version #19: Commit 5adbfa7 pushed by kim-em
2m 15s v4.22.0-rc2
v4.22.0-rc2
2m 15s
chore: update release note for v4.21.0 (#500) Deploy Tagged Version #18: Commit 5424941 pushed by kim-em
1m 52s v4.21.0
v4.21.0
1m 52s
chore: bump toolchain to v4.21.0 (#499) Deploy Tagged Version #17: Commit 6663daf pushed by kim-em
1m 43s v4.21.0
v4.21.0
1m 43s
fix: use --detach for GitHub's checkout state (#374) Deploy Tagged Version #16: Commit f854cf8 pushed by jrr6
19m 5s v4.19.0-rc1
v4.19.0-rc1
19m 5s
Back to main for verso Deploy Tagged Version #15: Commit a95c190 pushed by Vierkantor
18m 9s v4.21.0-rc3
v4.21.0-rc3
18m 9s
chore: bump toolchain to v4.20.0 and add final release notes (#456) Deploy Tagged Version #14: Commit 4615564 pushed by Vierkantor
17m 17s v4.20.0
v4.20.0
17m 17s
chore: bump to 4.20.0-rc5 and add Plausible script (#440) Deploy Tagged Version #13: Commit ed0b88c pushed by david-christiansen
18m 9s v4.20.0-rc5
v4.20.0-rc5
18m 9s
chore: bump toolchain to 4.20.0-rc3 and update release notes header (… Deploy Tagged Version #12: Commit a0f16ed pushed by david-christiansen
17m 8s v4.20.0-rc3
v4.20.0-rc3
17m 8s
chore: bump toolchain to v4.20.0-rc2 (#428) Deploy Tagged Version #11: Commit f715b48 pushed by kim-em
17m 24s v4.20.0-rc2
v4.20.0-rc2
17m 24s
chore: bump to v4.19.0 final release Deploy Tagged Version #10: Commit cda73e5 pushed by david-christiansen
17m 18s v4.19.0
v4.19.0
17m 18s
feat: backport add Scarf pixel (#422) Deploy Tagged Version #9: Commit 5e80464 pushed by david-christiansen
2m 8s v4.19.0-rc3
v4.19.0-rc3
2m 8s
chore: update to backport of latest Verso Deploy Tagged Version #8: Commit e81cba0 pushed by david-christiansen
17m 43s v4.19.0-rc3
v4.19.0-rc3
17m 43s
chore: bump toolchain to v4.19.0-rc2 and add draft release notes (#413) Deploy Tagged Version #7: Commit 31a2ecd pushed by kim-em
16m 51s v4.19.0-rc2
v4.19.0-rc2
16m 51s