Skip to content

Actions: leanprover/verso

Actions

Tag SubVerso for Verso releases

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tag-subverso.yml
28 workflow runs
28 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 (#950) Tag SubVerso for Verso releases #28: Commit 74fc8d1 pushed by Garmelon
13s v4.34.0-rc1
v4.34.0-rc1
13s
chore: bump toolchain to v4.33.0 (#948) Tag SubVerso for Verso releases #27: Commit 3bdedf2 pushed by Garmelon
10s v4.33.0
v4.33.0
10s
chore: bump toolchain to v4.33.0-rc2 (#944) Tag SubVerso for Verso releases #26: Commit 755ccbe pushed by Garmelon
13s v4.33.0-rc2
v4.33.0-rc2
13s
chore: bump toolchain to v4.33.0-rc1 (#927) Tag SubVerso for Verso releases #25: Commit 6af3061 pushed by Garmelon
13s v4.33.0-rc1
v4.33.0-rc1
13s
chore: bump toolchain to v4.32.0 (#925) Tag SubVerso for Verso releases #24: Commit e09d21a pushed by Garmelon
13s v4.32.0
v4.32.0
13s
Tag SubVerso for Verso releases Tag SubVerso for Verso releases #23: Manually run by david-christiansen
37s main
main
37s
chore: bump toolchain to v4.32.0-rc1 (#885) Tag SubVerso for Verso releases #22: Commit 8cb0455 pushed by Garmelon
10s v4.32.0-rc1
v4.32.0-rc1
10s
chore: bump toolchain to v4.31.0 (#875) Tag SubVerso for Verso releases #21: Commit b677415 pushed by Garmelon
13s v4.31.0
v4.31.0
13s
chore: bump toolchain to v4.31.0-rc2 (#871) Tag SubVerso for Verso releases #20: Commit 916bb96 pushed by Garmelon
9s v4.31.0-rc2
v4.31.0-rc2
9s
chore: bump toolchain to v4.31.0-rc1 (#864) Tag SubVerso for Verso releases #19: Commit 891a59f pushed by Garmelon
10s v4.31.0-rc1
v4.31.0-rc1
10s
fix: some search results had absolute instead of relative URLs (#861) Tag SubVerso for Verso releases #18: Commit 8bcbd2b pushed by david-christiansen
1m 4s v4.30.0
v4.30.0
1m 4s
chore: bump toolchain to v4.30.0 (#860) Tag SubVerso for Verso releases #17: Commit ca0197d pushed by Garmelon
10s v4.30.0
v4.30.0
10s
chore: bump toolchain to v4.30.0-rc2 (#841) Tag SubVerso for Verso releases #16: Commit 0bce276 pushed by Garmelon
10s v4.30.0-rc2
v4.30.0-rc2
10s
chore: bump toolchain to v4.30.0-rc1 (#827) Tag SubVerso for Verso releases #15: Commit a7b8245 pushed by david-christiansen
7s v4.30.0-rc1
v4.30.0-rc1
7s
chore: bump toolchain to v4.29.0 (#814) Tag SubVerso for Verso releases #14: Commit 7ae82ac pushed by Garmelon
11s v4.29.0
v4.29.0
11s
chore: bump toolchain to v4.29.0-rc8 (#812) Tag SubVerso for Verso releases #13: Commit 9a192b6 pushed by kim-em
10s v4.29.0-rc8
v4.29.0-rc8
10s
chore: bump toolchain to v4.29.0-rc7 (#810) Tag SubVerso for Verso releases #12: Commit 7ad685c pushed by kim-em
9s v4.29.0-rc7
v4.29.0-rc7
9s
fix: avoid netlify rewriting (#804) Tag SubVerso for Verso releases #11: Commit e14ad15 pushed by jcreedcmu
9s v4.29.0-rc6
v4.29.0-rc6
9s
chore: bump toolchain to v4.29.0-rc6 (#789) Tag SubVerso for Verso releases #10: Commit 4e0bed0 pushed by kim-em
8s v4.29.0-rc6
v4.29.0-rc6
8s
chore: bump toolchain to v4.29.0-rc4 (#786) Tag SubVerso for Verso releases #9: Commit 52c1f4b pushed by kim-em
16s v4.29.0-rc4
v4.29.0-rc4
16s
chore: bump toolchain to v4.29.0-rc3 (#777) Tag SubVerso for Verso releases #8: Commit dc20d6c pushed by kim-em
9s v4.29.0-rc3
v4.29.0-rc3
9s
chore: bump toolchain to v4.29.0-rc1 (#754) Tag SubVerso for Verso releases #7: Commit e39d5bd pushed by kim-em
9s v4.29.0-rc1
v4.29.0-rc1
9s
chore: bump toolchain to v4.28.0 (#753) Tag SubVerso for Verso releases #6: Commit 372f82e pushed by kim-em
9s v4.28.0
v4.28.0
9s
chore: bump to v4.28.0-rc1 (#718) Tag SubVerso for Verso releases #5: Commit 7681e6e pushed by david-christiansen
9s v4.28.0-rc1
v4.28.0-rc1
9s
chore: bump toolchain to v4.27.0 (#716) Tag SubVerso for Verso releases #4: Commit 9137d01 pushed by kim-em
9s v4.27.0
v4.27.0
9s