fix: use tar.gz instead of zip for web export asset

tar is universally available in Docker/Linux containers, unlike
unzip which requires a separate package install.

Author: TommiLindfors

.github/workflows/release-web-export.yml

@@ -28,12 +28,12 @@ jobs:
       - name: Package export artifact
         run: |
           cd build/exports/web
-          zip -r ../../../clarvia-web-export-${{ github.event.release.tag_name }}.zip .
+          tar -czf ../../../clarvia-web-export-${{ github.event.release.tag_name }}.tar.gz .
 
       - name: Upload release asset
         env:
           GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
           gh release upload ${{ github.event.release.tag_name }} \
-            clarvia-web-export-${{ github.event.release.tag_name }}.zip \
+            clarvia-web-export-${{ github.event.release.tag_name }}.tar.gz \
             --clobber