generate-srcinfo: compress the json file

The content for all environments is very similar, so this compresses
really well.

.github/workflows/generate-srcinfo.yml

@@ -27,24 +27,24 @@ jobs:
           msystem: MSYS
           update: true
 
-      - name: Download srcinfo.json and set up the environment
+      - name: Download srcinfo.json.gz and set up the environment
         shell: msys2 {0}
         run: |
           # XXX: linting PKGBUILDs takes a loooong time, this skips it
           sed -i s/^lint_pkgbuild/#lint_pkgbuild/g /usr/bin/makepkg
           # makepkg requires strip in PATH even if it wont be used
           touch /usr/bin/strip.exe
-          curl --fail -L --retry 5 -o srcinfo.json "https://github.com/$GITHUB_REPOSITORY/releases/download/srcinfo-cache/srcinfo.json"
+          curl --fail -L --retry 5 -o srcinfo.json.gz "https://github.com/$GITHUB_REPOSITORY/releases/download/srcinfo-cache/srcinfo.json.gz"
 
-      - name: Parse PKGBUILDs and update srcinfo.json
+      - name: Parse PKGBUILDs and update srcinfo.json.gz
         run: |
           $MSYS2_ROOT=(msys2 -c 'cygpath -w /')
-          python -u .ci/ci-generate-srcinfo.py --time-limit 19800 mingw "$MSYS2_ROOT" . srcinfo.json
+          python -u .ci/ci-generate-srcinfo.py --time-limit 19800 mingw "$MSYS2_ROOT" . srcinfo.json.gz
 
       - uses: actions/upload-artifact@v3
         with:
           name: result
-          path: srcinfo.json
+          path: srcinfo.json.gz
 
   upload-srcinfo:
     needs: update-srcinfo
@@ -56,9 +56,9 @@ jobs:
         with:
           name: result
 
-      - name: Upload srcinfo.json
+      - name: Upload srcinfo.json.gz
         run: |
-          gh release upload srcinfo-cache srcinfo.json --clobber --repo "$GITHUB_REPOSITORY"
+          gh release upload srcinfo-cache srcinfo.json.gz --clobber --repo "$GITHUB_REPOSITORY"
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}