github: deploy: Gzip manifest

Signed-off-by: Patrick José Pereira <patrickelectric@gmail.com>

Author: patrickelectric

.github/workflows/deploy.yml

@@ -36,6 +36,7 @@ jobs:
           python blueos_repository/consolidate.py
           mv manifest.json build/
           mv manifest.log build/
+          gzip build/manifest.json --best --keep
         env:
           DOCKER_USERNAME: ${{ secrets.DOCKER_USERNAME }}
           DOCKER_PASSWORD: ${{ secrets.DOCKER_PASSWORD }}
@@ -59,6 +60,12 @@ jobs:
           name: manifest.json
           path: build/manifest.json
 
+      - name: Upload manifest gz
+        uses: actions/upload-artifact@v4
+        with:
+          name: manifest.json.gz
+          path: build/manifest.json.gz
+
       - name: Deploy 🚀
         uses: JamesIves/github-pages-deploy-action@v4
         with: