Skip to content

Actions: leanprover-community/batteries

Actions

Release Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump toolchain to v4.17.0-rc1 (#1115) Release Docs #9: Commit 512d7fa pushed by jcommelin
February 3, 2025 13:43 3m 10s v4.17.0-rc1
v4.17.0-rc1
February 3, 2025 13:43 3m 10s
chore: bump toolchain to v4.16.0 (#1113) Release Docs #8: Commit 01006c9 pushed by jcommelin
February 3, 2025 08:26 2m 52s v4.16.0
v4.16.0
February 3, 2025 08:26 2m 52s
chore: bump to v4.16.0-rc2 (#1093) Release Docs #7: Commit c104265 pushed by kim-em
January 14, 2025 02:35 2m 55s v4.16.0-rc2
v4.16.0-rc2
January 14, 2025 02:35 2m 55s
fix: remove docs lake manifest (#1083) Release Docs #6: Commit b2e8b68 pushed by fgdorais
January 4, 2025 20:19 3m 41s v4.16.0-rc1
v4.16.0-rc1
January 4, 2025 20:19 3m 41s
chore: bump toolchain to v4.16.0-rc1 (#1081) Release Docs #5: Commit 8ce422e pushed by kim-em
January 4, 2025 05:13 20s v4.16.0-rc1
v4.16.0-rc1
January 4, 2025 05:13 20s
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