! CI: add create zip archive again to document compilation

This was accidentally removed in c444c80. Issue: #30
scs · Feb 4, 2022 · 11f00fa · 11f00fa
1 parent c444c80
commit 11f00fa
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/document-compilation.yml b/.github/workflows/document-compilation.yml
@@ -24,6 +24,10 @@ jobs:
           cmake -S . -B build -DJS_WITH_CODE=OFF
           cmake --build build
 
+      - name: create zip archive
+        run: |
+          cmake --build build --target jumpstart_archive
+
       - name: create release
         uses: softprops/action-gh-release@v1
         if: startsWith(github.ref, 'refs/tags/')