Fix: Wrap apt calls into a retry so we can ideally jump from a slow mirror to a faster one

2026-10-04 07:10:32 +00:00 · 2026-10-02 08:38:13 -07:00
parent f1ae9c00ac
commit 78b7bd7dcc
5 changed files with 69 additions and 14 deletions
@@ -70,9 +70,10 @@ jobs:
        run: |
          uv sync --python "${PYTHON_VERSION}" --dev --frozen
      - name: Install system dependencies
-        run: |
-          sudo apt-get update -qq
-          sudo apt-get install -qq --no-install-recommends gettext liblept5
+        timeout-minutes: 12
+        uses: ./.github/actions/apt-install
+        with:
+          packages: gettext liblept5
      # ---- Build Documentation ----
      - name: Build documentation
        env: