Merge pull request #8631 from tautschnig/parallel-use-github-mirror

Use GitHub mirror to download GNU parallel

Author: tautschnig

.github/workflows/bsd.yaml

@@ -80,18 +80,18 @@ jobs:
         with:
           save-always: true
           path: .ccache
-          key: openbsd-7.4-gmake-${{ github.ref }}-${{ github.sha }}-PR
+          key: openbsd-7.6-gmake-${{ github.ref }}-${{ github.sha }}-PR
           restore-keys: |
-            openbsd-7.4-gmake-${{ github.ref }}
-            openbsd-7.4-gmake
+            openbsd-7.6-gmake-${{ github.ref }}
+            openbsd-7.6-gmake
       - name: ccache environment
         run: |
           echo "CCACHE_BASEDIR=$PWD" >> $GITHUB_ENV
           echo "CCACHE_DIR=$PWD/.ccache" >> $GITHUB_ENV
       - name: Build and Test
         uses: vmactions/openbsd-vm@v1
         with:
-          release: 7.4
+          release: 7.6
           run: |
             # apparently fail-on-error isn't the default here
             set -e -x

.github/workflows/pull-request-checks.yaml

@@ -776,7 +776,7 @@ jobs:
           Move-Item -Path .\cvc5-Win64-x86_64-static\cvc5-Win64-x86_64-static\bin\cvc5.exe c:\tools\cvc5\cvc5.exe
           echo "c:\tools\cvc5;" >> $env:GITHUB_PATH
           New-Item -ItemType directory "C:\tools\parallel"
-          wget.exe -O c:\tools\parallel\parallel https://git.savannah.gnu.org/cgit/parallel.git/plain/src/parallel
+          wget.exe -O c:\tools\parallel\parallel https://raw.githubusercontent.com/martinda/gnu-parallel/refs/heads/master/src/parallel
           echo "c:\tools\parallel" >> $env:GITHUB_PATH
       - name: Confirm z3 solver is available and log the version installed
         run: z3 --version