1 Commits

Author SHA1 Message Date
d9aa768b41 try rc build
All checks were successful
CI - Docs build check / build-check (push) Successful in 8s
Deploy RC preview to GitHub Pages / deploy-rc-pages (push) Successful in 6s
2026-02-04 18:47:11 -06:00

View File

@@ -2,7 +2,7 @@ name: Deploy RC preview to GitHub Pages
on:
push:
tags: ["rc*"]
tags: ["v*"]
workflow_dispatch:
permissions:
@@ -13,6 +13,30 @@ jobs:
runs-on: ubuntu-latest
steps:
- name: Guard - only run for RC tags; deploy only on GitHub
run: |
set -euo pipefail
TAG="${GITHUB_REF_NAME:-}"
CI_PROVIDER="${CI_PROVIDER:-github}"
ENABLE_DEPLOY="${ENABLE_DEPLOY:-false}"
if [[ -z "$TAG" ]] || [[ "$TAG" != v* ]] || [[ "$TAG" != *"-rc"* ]]; then
echo "Not an RC tag ($TAG); skipping."
exit 0
fi
if [[ "${ENABLE_DEPLOY}" != "true" ]]; then
echo "Skipping deploy: ENABLE_DEPLOY=${ENABLE_DEPLOY}"
exit 0
fi
if [[ "${ACT:-false}" == "true" ]]; then
echo "Skipping deploy: act"
exit 0
fi
if [[ "${CI_PROVIDER}" != "github" ]]; then
echo "Skipping deploy: CI_PROVIDER=${CI_PROVIDER}"
exit 0
fi
- name: Checkout (tag)
uses: actions/checkout@v4
with:
@@ -52,25 +76,26 @@ jobs:
- name: Publish RC preview under /rc/<tag>/
run: |
export MKDOCS_STRICT="${MKDOCS_STRICT:-true}"
export TMPDIR="${RUNNER_TEMP:-$TMPDIR}"
export OUTPUT_DIR="${OUTPUT_DIR:-${TMPDIR}/dist/}"
set -euo pipefail
rm -rf "rc"* || true
mkdir -p "rc/"
cp -a "$OUTPUT_DIR/." "rc/"
REF="${GITHUB_REF_NAME}"
mkdir -p "rc/${REF}"
rm -rf "rc/${REF:?}/"* || true
cp -a "$OUTPUT_DIR" "rc/${REF}/"
mkdir -p rc
if [ ! -f rc/index.html ]; then
cat > rc/index.html << 'EOF'
<!doctype html><meta charset="utf-8"><title>RC Previews</title>
<h1>RC Previews</h1><p>Browse rc/&lt;tag&gt;/</p>
EOF
fi
git add -A
git config user.name "github-actions[bot]"
git config user.email "github-actions[bot]@users.noreply.github.com"
git commit -m "Deploy RC preview ${REF}" || echo "No changes to commit"
git push origin gh-pages
- name: Publish prerelease (GitHub)
uses: softprops/action-gh-release@v2
with:
prerelease: true
body: |
RC preview: https://<org>.github.io/<repo>/rc/
Tag: ${{ github.ref_name }}
Commit: ${{ github.sha }}
git push origin gh-pages