Deploy documentation page from a release folder

norlab-ulaval · May 7, 2024 · 91d16d0 · 91d16d0
1 parent e71f61a
commit 91d16d0
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/update_documentation.yaml b/.github/workflows/update_documentation.yaml
@@ -8,6 +8,10 @@ on:
 
   workflow_dispatch:  # Allow manual triggering
 
+  release:
+    types:
+      - published
+
 jobs:
   build:
     runs-on: ubuntu-latest
@@ -33,4 +37,9 @@ jobs:
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./build/doc/html  # Directory containing the HTML documentation
+          if: ${{ github.event.release.tag_name }}
+          destination_dir: ./releases/${{ github.event.release.tag_name }}
+          keep_files: false
+          commit_message: Release ${{ github.event.release.tag_name }}
+