release: public release requires peer-level ankidroiddocs clone

BrayanDSO · Jul 27, 2023 · 1f9a282 · 1f9a282
1 parent 9d5a6ae
commit 1f9a282
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -72,7 +72,12 @@ jobs:
 
       - name: Build and Release public release
         if: "${{ github.event.inputs.public != '' }}"
-        run: ./tools/release.sh public
+        run: |
+          pushd ../
+          git clone [email protected]:ankidroid/ankidroiddocs
+          popd
+          ./tools/release.sh public
+        shell: bash
 
       - name: Build and Release test release
         if: "${{ github.event.inputs.public == '' }}"