Merge pull request #2126 from albinahlback/ci_update

Update CI
flintlib · Dec 15, 2024 · 86a898f · 86a898f
2 parents cbdc611 + 53e36ae
commit 86a898f
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 5 deletions.
diff --git 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
@@ -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
@@ -20,20 +20,21 @@ jobs:
   freebsd-gcc:
     name: FreeBSD Clang (x0.5)
 
-    runs-on: macos-13
+    runs-on: ubuntu-latest
     env:
       FLINT_TEST_MULTIPLIER: "0.5"
 
     steps:
       - 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