diff --git a/.github/workflows/github-ci.yml b/.github/workflows/github-ci.yml index 27ae55264..2016604bf 100644 --- a/.github/workflows/github-ci.yml +++ b/.github/workflows/github-ci.yml @@ -39,7 +39,7 @@ jobs: package_build: [ON, OFF] hexl: [ON, OFF] c_compiler: [gcc, clang] - os: [macos-latest, ubuntu-22.04] + os: [macos-12, macos-13, ubuntu-22.04] include: # Use g++ with gcc only and clang++ with clang only - c_compiler: gcc cxx_compiler: g++ diff --git a/ci/install_deps.sh b/ci/install_deps.sh index 4c7370c36..a0680d044 100755 --- a/ci/install_deps.sh +++ b/ci/install_deps.sh @@ -54,7 +54,7 @@ if [ "${RUNNER_OS%-*}" == "ubuntu" ]; then sudo apt-get -yq --no-install-suggests --no-install-recommends install libgmp-dev libntl-dev bats fi -if [ "${RUNNER_OS}" == "macos-latest" ]; then +if [ "${RUNNER_OS}" == "macos-latest" ] || [ "${RUNNER_OS}" == "macos-12" ] || [ "${RUNNER_OS}" == "macos-13" ] ; then brew install ntl bats-core fi