Build documentation zip in CI

fragglet · Dec 10, 2024 · 5a59ffb · 5a59ffb
1 parent 18e3e4e
commit 5a59ffb
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/make.yml b/.github/workflows/make.yml
@@ -25,6 +25,11 @@ jobs:
       run: |
         mkdir artifacts
         tar cf - src/*.gcov | tar -C artifacts -xf -
+    - name: Make documentation zip
+      uses: actions/upload-artifact@v4
+      with:
+        path: "doc/html"
+        name: documentation
     - name: Upload coverage-annotated source files
       uses: actions/upload-artifact@v4
       with: