Files
bottom/scripts/ci/release_stable_docs.sh
T
Clement Tsang 8629468e45 ci: use scripts in more places in CI (#1906)
* move cirrus release script

* update a few other places
2025-12-20 18:53:36 -05:00

9 lines
314 B
Bash
Executable File

#!/bin/bash
cd docs
OLD_STABLE_VERSION=$(mike list stable | grep -Po '([0-9]+.[0-9]+.[0-9]+)' | head -n1)
echo ${OLD_STABLE_VERSION}
mike retitle --push stable ${OLD_STABLE_VERSION}
mike deploy --push --update-aliases ${RELEASE_VERSION} stable
mike retitle --push ${RELEASE_VERSION} "${RELEASE_VERSION} (stable)"