Update CI

flintlib · Oct 10, 2024 · 94e324c · 94e324c
1 parent 21d9cac
commit 94e324c
Showing 1 changed file with 7 additions and 11 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -21,7 +21,7 @@ jobs:
   ubuntu-codecoverage:
     name: Ubuntu GCC, Code Coverage (x10)
 
-    runs-on: ubuntu-24.04
+    runs-on: ubuntu-latest
 
     env:
       CC: "gcc"
@@ -98,7 +98,7 @@ jobs:
   gcc-build-regression-check:
     name: GCC build regression check (no tests)
 
-    runs-on: ubuntu-24.04
+    runs-on: ubuntu-latest
 
     env:
       CC: "gcc"
@@ -138,7 +138,7 @@ jobs:
   ubuntu-gcc-assert:
     name: Ubuntu GCC with NTL (assert, x2)
 
-    runs-on: ubuntu-24.04
+    runs-on: ubuntu-latest
 
     env:
       CC: "gcc"
@@ -192,7 +192,7 @@ jobs:
   macos-m1:
     name: macOS-M1, Clang (x3)
 
-    runs-on: macos-14
+    runs-on: macos-latest
 
     env:
       FLINT_TEST_MULTIPLIER: "3"
@@ -209,8 +209,6 @@ jobs:
       - name: "Setup"
         run: |
           brew install make
-          brew install gmp
-          brew install mpfr
           brew install autoconf
           brew install libtool
           brew install automake
@@ -248,7 +246,7 @@ jobs:
   macos-x86:
     name: macOS-x86 Clang with BLAS (x2)
 
-    runs-on: macos-12
+    runs-on: macos-13
 
     env:
       FLINT_TEST_MULTIPLIER: "2"
@@ -265,8 +263,6 @@ jobs:
       - name: "Setup"
         run: |
           brew install make
-          brew install gmp
-          brew install mpfr
           brew install autoconf
           brew install libtool
           brew install automake
@@ -565,9 +561,9 @@ jobs:
   # nemo
   ##############################################################################
   nemo:
-    name: Nemo.jl (temporary branch)
+    name: Nemo.jl
 
-    runs-on: ubuntu-24.04
+    runs-on: ubuntu-latest
 
     env:
       LOCAL: ${{ github.workspace }}/local