Remove macos-12 CI job

GitHub has deprecated the macos-12 image and will cease to support in in December '24. See actions/runner-images#10721.
tautschnig · Oct 22, 2024 · d05d429 · d05d429
1 parent 60bb14c
commit d05d429
Showing 1 changed file with 0 additions and 44 deletions.
diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml
@@ -639,50 +639,6 @@ jobs:
       - name: Run JBMC regression tests
         run: make -C jbmc/regression test-parallel JOBS=4
 
-  # This job takes approximately 36 to 85 minutes
-  check-macos-12-cmake-clang:
-    runs-on: macos-12
-    steps:
-      - uses: actions/checkout@v4
-        with:
-          submodules: recursive
-      - name: Fetch dependencies
-        run: brew install cmake ninja maven flex bison ccache z3
-      - name: Confirm z3 solver is available and log the version installed
-        run: z3 --version
-      - name: Download cvc5 binary and make sure it can be deployed
-        run: |
-          wget https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-macOS-static.zip
-          unzip -j -d /usr/local/bin cvc5-macOS-static.zip cvc5-macOS-static/bin/cvc5
-          rm cvc5-macOS-static.zip
-          cvc5 --version
-      - name: Prepare ccache
-        uses: actions/cache@v4
-        with:
-          save-always: true
-          path: .ccache
-          key: ${{ runner.os }}-Release-Glucose-${{ github.ref }}-${{ github.sha }}-PR
-          restore-keys: |
-            ${{ runner.os }}-Release-Glucose-${{ github.ref }}
-            ${{ runner.os }}-Release-Glucose
-      - name: ccache environment
-        run: |
-          echo "CCACHE_BASEDIR=$PWD" >> $GITHUB_ENV
-          echo "CCACHE_DIR=$PWD/.ccache" >> $GITHUB_ENV
-      - name: Zero ccache stats and limit in size
-        run: ccache -z --max-size=500M
-      - name: Configure using CMake
-        run: |
-          mkdir build
-          cd build
-          cmake .. -G Ninja -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=$(brew --prefix llvm@15)/bin/clang -DCMAKE_CXX_COMPILER=$(brew --prefix llvm@15)/bin/clang++ -Dsat_impl=glucose
-      - name: Build with Ninja
-        run: cd build; ninja -j3
-      - name: Print ccache stats
-        run: ccache -s
-      - name: Run CTest
-        run: cd build; ctest -V -L CORE . -j3
-
   # This job takes approximately 36 to 85 minutes
   check-macos-14-cmake-clang:
     runs-on: macos-14