shithub: rgbds

Download patch

ref: 4c0fa6732e6f56979924b1a4299ca3f811ecfba6
parent: e9d9a44687c94c1036601f72a5ea0fc15a9aad5c
author: ISSOtm <[email protected]>
date: Tue Mar 9 15:10:14 EST 2021

Fix release doc creation workflow

--- a/.github/workflows/create-release-docs.yml
+++ b/.github/workflows/create-release-docs.yml
@@ -2,24 +2,22 @@
 on:
   release:
     types:
-      - created
+      - released # This avoids triggering on pre-releases
 
 jobs:
   build:
     runs-on: ubuntu-18.04
     steps:
-      - name: Checkout rgbds@master
+      - name: Checkout rgbds@release
         uses: actions/checkout@v2
         with:
-          repository: gbdev/rgbds
-          ref: master
           path: rgbds
       - name: Checkout rgbds-www@master
         uses: actions/checkout@v2
         with:
-          repository: gbdev/rgbds-www
-          ref: master
+          repository: ${{ github.repository_owner }}/rgbds-www
           path: rgbds-www
+      # `-O toc` was added in 1.14.5, but the repos only have 1.14.4
       - name: Build and install mandoc
         run: |
           sudo apt-get -qq update
@@ -32,23 +30,23 @@
           sudo make install
       - name: Update pages
         working-directory: rgbds
-        run: |
-          ./.github/actions/get-pages.sh ../rgbds-www/_documentation ${GITHUB_REF}
+        run: | # The ref appears to be in the format "refs/tags/<version>", so strip that
+          ./.github/actions/get-pages.sh -r ../rgbds-www ${GITHUB_REF##*/}
       - name: Push new pages
         working-directory: rgbds-www
         run: |
           mkdir -p -m 700 ~/.ssh
-          echo "${{ secrets.SSH_KEY_SECRET }}" > ~/.ssh/id_ed25519
+          cat > ~/.ssh/id_ed25519 <<<"${{ secrets.SSH_KEY_SECRET }}"
           chmod 0600 ~/.ssh/id_ed25519
           eval $(ssh-agent -s)
           ssh-add ~/.ssh/id_ed25519
           git config --global user.name "GitHub Action"
           git config --global user.email "[email protected]"
-          git add .
-          git commit -m "Create RGBDS ${GITHUB_REF} documentation"
+          git add -A
+          git commit -m "Create RGBDS ${GITHUB_REF##*/} documentation"
           if git remote | grep -q origin; then
-            git remote set-url origin [email protected]:gbdev/rgbds-www.git
+            git remote set-url origin [email protected]:${{ github.repository_owner }}/rgbds-www.git
           else
-            git remote add origin [email protected]:gbdev/rgbds-www.git
+            git remote add origin [email protected]:${{ github.repository_owner }}/rgbds-www.git
           fi
           git push origin master