Replace shell-level timeout with dedicated command.

It turns out the systems we run this workflow on all have timeout(1),
2026-06-02 18:57:23 +10:00
parent 41bb8c1823
commit 7e5590cf8f
2 changed files with 7 additions and 22 deletions
@@ -139,7 +139,9 @@ jobs:
        CYGWIN: "winsymlinks:native"
    - uses: actions/checkout@main
    - name: setup CI system
-      run: sh ./.github/setup_ci.sh ${{ matrix.config }} ${{ matrix.target }}
+      run: |
+        timeout 1200 sh .github/setup_ci.sh ${{ matrix.config }} ${{ matrix.target }} || \
+        sh .github/setup_ci.sh ${{ matrix.config }} ${{ matrix.target }}
      env:
        CYGWIN_SETUP: ${{ steps.cygwin_install.outputs.setup }}
    - name: autoreconf