github: add documentation workflow on release artifact (#41)

mintyfrankie · Jul 22, 2024 · a6f35b2 · a6f35b2
1 parent f1eda13
commit a6f35b2
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/.github/workflows/deploy-docs.yaml b/.github/workflows/deploy-docs.yaml
@@ -21,6 +21,18 @@ jobs:
           name: docs
           path: ./docs/docs.pdf
 
+  release:
+    runs-on: ubuntu-latest
+    needs: compile
+    steps:
+      - uses: actions/download-artifact@v4
+        with:
+          name: docs
+      - uses: softprops/action-gh-release@v2
+        if: ${{ startsWith(github.ref, 'refs/tags/') }}
+        with: 
+          files: ./docs/docs.pdf
+
   deploy:
     runs-on: ubuntu-latest
     permissions: