From b2019accc95ee02f2b58c1881c1731b385a885ca Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Albin=20Ahlb=C3=A4ck?= Date: Fri, 11 Oct 2024 12:03:55 +0200 Subject: [PATCH] Revert "Update CI" This reverts commit 94e324c23ca30ec0800634c941144a0df14754d2. --- .github/workflows/CI.yml | 18 +++++++++++------- 1 file changed, 11 insertions(+), 7 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index cac9ed0175..74261d0bd4 100644 --- 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-latest + runs-on: ubuntu-24.04 env: CC: "gcc" @@ -98,7 +98,7 @@ jobs: gcc-build-regression-check: name: GCC build regression check (no tests) - runs-on: ubuntu-latest + runs-on: ubuntu-24.04 env: CC: "gcc" @@ -138,7 +138,7 @@ jobs: ubuntu-gcc-assert: name: Ubuntu GCC with NTL (assert, x2) - runs-on: ubuntu-latest + runs-on: ubuntu-24.04 env: CC: "gcc" @@ -192,7 +192,7 @@ jobs: macos-m1: name: macOS-M1, Clang (x3) - runs-on: macos-latest + runs-on: macos-14 env: FLINT_TEST_MULTIPLIER: "3" @@ -209,6 +209,8 @@ jobs: - name: "Setup" run: | brew install make + brew install gmp + brew install mpfr brew install autoconf brew install libtool brew install automake @@ -246,7 +248,7 @@ jobs: macos-x86: name: macOS-x86 Clang with BLAS (x2) - runs-on: macos-13 + runs-on: macos-12 env: FLINT_TEST_MULTIPLIER: "2" @@ -263,6 +265,8 @@ jobs: - name: "Setup" run: | brew install make + brew install gmp + brew install mpfr brew install autoconf brew install libtool brew install automake @@ -561,9 +565,9 @@ jobs: # nemo ############################################################################## nemo: - name: Nemo.jl + name: Nemo.jl (temporary branch) - runs-on: ubuntu-latest + runs-on: ubuntu-24.04 env: LOCAL: ${{ github.workspace }}/local