Skip to content

Actions: leanprover-community/batteries

Actions

Release Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs-release.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: move to v4.15.0-rc1, and merge bump/v4.15.0 branch (#1073) Release Docs #3: Commit 7805acf pushed by kim-em
December 2, 2024 03:01 6m 55s v4.15.0-rc1
v4.15.0-rc1
December 2, 2024 03:01 6m 55s
chore: bump toolchain to v4.14.0 (#1070) Release Docs #2: Commit 8d6c853 pushed by kim-em
December 2, 2024 00:15 3m 32s v4.14.0
v4.14.0
December 2, 2024 00:15 3m 32s
chore: bump toolchain to v4.14.0-rc3 (#1068) Release Docs #1: Commit 5de6320 pushed by fgdorais
November 29, 2024 13:38 3m 21s v4.14.0-rc3
v4.14.0-rc3
November 29, 2024 13:38 3m 21s