#157 OSX13 is retired

It is dead.

Author: florianschanda

.github/workflows/ci.yml

@@ -28,16 +28,13 @@ jobs:
     needs: lint
     strategy:
       matrix:
-        os: [ubuntu-24.04, windows-2022, macos-13, macos-14]
+        os: [ubuntu-24.04, windows-2022, macos-14]
         py-version: ["3.8", "3.9", "3.10", "3.11", "3.12", "3.13"]
         include:
           - os: ubuntu-24.04
             cvc5-plat: "linux"
           - os: windows-2022
             cvc5-plat: "windows"
-          - os: macos-13
-            brew: "/usr/local"
-            cvc5-plat: "osx13"
           - os: macos-14
             brew: "/opt/homebrew"
             cvc5-plat: "osx14"

util/fetch_cvc5.py

@@ -41,8 +41,6 @@
 
 if options.platform == "linux":
     CVC5_PLATFORM = "Linux-x86_64-static"
-elif options.platform == "osx13":
-    CVC5_PLATFORM = "macOS-x86_64-static"
 elif options.platform == "osx14":
     CVC5_PLATFORM = "macOS-arm64-static"
 elif options.platform == "windows":