diff --git a/.github/workflows/bsd.yaml b/.github/workflows/bsd.yaml
index 4db8dda90f3..52d738f1d8b 100644
--- a/.github/workflows/bsd.yaml
+++ b/.github/workflows/bsd.yaml
@@ -80,10 +80,10 @@ 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
@@ -91,7 +91,7 @@ jobs:
       - 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
diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml
index fee13f75371..11a38ea4a9c 100644
--- a/.github/workflows/pull-request-checks.yaml
+++ b/.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