From 4e905f6339bf5512f76024f6ed217ef0f2305016 Mon Sep 17 00:00:00 2001 From: Florian Hammerschmidt Date: Fri, 23 Oct 2026 21:35:48 +0200 Subject: [PATCH] Keep v12 API docs on website branch v12 The maintenance workflow follows the website default branch. Pin its checkout and push to v12 so future website promotion keeps v12 maintenance snapshots on their own documentation branch. Follow up on #8945 and #8753. Signed-off-by: Florian Hammerschmidt --- .github/workflows/ci.yml | 3 ++- changes/v12-api-docs-branch.internal.md | 2 ++ 2 files changed, 4 insertions(+), 1 deletion(-) create mode 100644 changes/v12-api-docs-branch.internal.md diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4b65c5777e7..c0968e1705d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -514,6 +514,7 @@ jobs: uses: actions/checkout@v6 with: repository: rescript-lang/rescript-lang.org + ref: v12 ssh-key: ${{ secrets.RESCRIPT_LANG_ORG_DEPLOY_KEY }} - name: Download artifacts @@ -552,7 +553,7 @@ jobs: git config --global user.email "github-actions@rescript-lang.org" git add data/api git commit -m "Update API docs for $GITHUB_REF_NAME" - git push + git push origin HEAD:v12 test-installation-npm: needs: diff --git a/changes/v12-api-docs-branch.internal.md b/changes/v12-api-docs-branch.internal.md new file mode 100644 index 00000000000..b1b8902dcd3 --- /dev/null +++ b/changes/v12-api-docs-branch.internal.md @@ -0,0 +1,2 @@ +- Keep v12 API documentation checks and publication on website branch `v12` + when the website's default branch changes.