Autogenerate us file

zauguin · Mar 22, 2024 · ee06c10 · ee06c10
1 parent 1577a1e
commit ee06c10
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/pages.yaml b/.github/workflows/pages.yaml
@@ -26,11 +26,12 @@ jobs:
       url: ${{ steps.deployment.outputs.page_url }}
     runs-on: ubuntu-latest
     steps:
-      - name: Checkout
-        uses: actions/checkout@v4
       - name: Get mirror state
         run: |
           podman run ghcr.io/zauguin/get-tl-mirror-status:get-tl-mirror-status > mirrors.json
+      - name: Generate older 'us' file
+        run: |
+          jq -r 'map_values(map_values(to_entries | map(.value.url = .key | .value) | [.[] | select(.status == "Alive")] | group_by(.texlive_version) | INDEX(.[0].texlive_version) | map_values(group_by(.revision) | INDEX(.[0].revision) | map_values(map(.url))) | to_entries | max_by(.key | tonumber).value | to_entries | max_by(.key | tonumber).value)).["North America"].USA.[]' < mirrors.json > us
       - name: Setup Pages
         uses: actions/configure-pages@v4
       - name: Upload artifact