1name: Create Versioned Docs Release
2
3on:
4  workflow_dispatch:
5    inputs:
6      version:
7        description: "Version number (e.g. 2.0)"
8        required: true
9        type: string
10
11permissions:
12  contents: write
13  pull-requests: write
14
15jobs:
16  create-release:
17    runs-on: ubuntu-latest
18    steps:
19      - name: Checkout trunk
20        uses: actions/checkout@v4
21        with:
22          ref: trunk
23
24      - name: Create release branch and run release script
25        working-directory: website
26        run: |
27          git checkout -b "release/docs-v${{ inputs.version }}"
28          ./create-release.sh "${{ inputs.version }}"
29
30      - name: Commit and push
31        run: |
32          git config user.name "github-actions[bot]"
33          git config user.email "github-actions[bot]@users.noreply.github.com"
34          git add -A
35          git commit -m "Add versioned docs for v${{ inputs.version }}"
36          git push origin "release/docs-v${{ inputs.version }}"
37
38      - name: Create Pull Request
39        env:
40          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
41        run: |
42          gh pr create \
43            --base trunk \
44            --head "release/docs-v${{ inputs.version }}" \
45            --title "Add versioned docs for v${{ inputs.version }}" \
46            --body "Creates versioned documentation snapshot for v${{ inputs.version }}." \
47            --label "area/docs"
48

1name: Create Versioned Docs Release
2
3on:
4  workflow_dispatch:
5    inputs:
6      version:
7        description: "Version number (e.g. 2.0)"
8        required: true
9        type: string
10
11permissions:
12  contents: write
13  pull-requests: write
14
15jobs:
16  create-release:
17    runs-on: ubuntu-latest
18    steps:
19      - name: Checkout trunk
20        uses: actions/checkout@v4
21        with:
22          ref: trunk
23
24      - name: Create release branch and run release script
25        working-directory: website
26        run: |
27          git checkout -b "release/docs-v${{ inputs.version }}"
28          ./create-release.sh "${{ inputs.version }}"
29
30      - name: Commit and push
31        run: |
32          git config user.name "github-actions[bot]"
33          git config user.email "github-actions[bot]@users.noreply.github.com"
34          git add -A
35          git commit -m "Add versioned docs for v${{ inputs.version }}"
36          git push origin "release/docs-v${{ inputs.version }}"
37
38      - name: Create Pull Request
39        env:
40          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
41        run: |
42          gh pr create \
43            --base trunk \
44            --head "release/docs-v${{ inputs.version }}" \
45            --title "Add versioned docs for v${{ inputs.version }}" \
46            --body "Creates versioned documentation snapshot for v${{ inputs.version }}." \
47            --label "area/docs"
48