Skip to content

Actions: leanprover-community/batteries

Actions

Release Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump toolchain to v4.16.0-rc1 (#1081) Release Docs #5: Commit 8ce422e pushed by kim-em
January 4, 2025 05:13 1m 18s v4.16.0-rc1
v4.16.0-rc1
January 4, 2025 05:13 1m 18s
chore: bump toolchain to v4.15.0 (#1080) Release Docs #4: Commit e8dc5fc pushed by kim-em
January 4, 2025 03:21 7m 31s v4.15.0
v4.15.0
January 4, 2025 03:21 7m 31s
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