fix: rare repoPool initialization crash

2026-09-21 07:25:38 +00:00 · 2025-05-05 20:35:26 -07:00
parent 7930b9c2d9
commit 59614d84b7
6 changed files with 131 additions and 112 deletions
@@ -33,7 +33,8 @@ jobs:
      - name: Create Fake WebUI Sources
        run: |
          mkdir -p webui/dist
-          touch webui/dist/index.html.gz
+          # Create an empty gzip file for testing
+          gzip -c /dev/null > webui/dist/index.html.gz

      - name: Build
        run: go build ./...