diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index f1be6f2f63..4f16653d5d 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -84,7 +84,7 @@ jobs:
           $MAKE coverage
 
       - name: "Upload coverage data"
-        uses: codecov/codecov-action@v4
+        uses: codecov/codecov-action@v5
         if: github.repository == 'flintlib/flint'
         with:
           files: build/coverage/coverage.info
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 425b44ec5f..8f91a02fdf 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -53,7 +53,7 @@ jobs:
           tar -czvf doc.tar.gz doc
 
       - name: "Setup SSH key"
-        uses: shimataro/ssh-key-action@v2.5.0
+        uses: shimataro/ssh-key-action@v2.7.0
         with:
           key: ${{ secrets.SSH_KEY }}
           name: id_ed25519
diff --git a/.github/workflows/push_CI.yml b/.github/workflows/push_CI.yml
index 95f783fa86..86b2ad9ca3 100644
--- a/.github/workflows/push_CI.yml
+++ b/.github/workflows/push_CI.yml
@@ -20,7 +20,7 @@ jobs:
   freebsd-gcc:
     name: FreeBSD Clang (x0.5)
 
-    runs-on: macos-13
+    runs-on: ubuntu-latest
     env:
       FLINT_TEST_MULTIPLIER: "0.5"
 
@@ -28,12 +28,13 @@ jobs:
       - uses: actions/checkout@v4
 
       - name: "Run tests on FreeBSD"
-        uses: cross-platform-actions/action@v0.23.0
+        uses: cross-platform-actions/action@v0.26.0
         timeout-minutes: 15
         continue-on-error: true
         with:
           operating_system: freebsd
-          version: '14.0'
+          version: '14.2'
+          architecture: x86-64
           shell: bash
           run: |
             sudo pkg install -y pkgconf gmake gmp mpfr autoconf libtool automake