Remove Z3 4.8.5

atomb · atomb · commit c190189e6811 · 2024-04-09T16:23:46.000-07:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -16,7 +16,7 @@ jobs:
         os: [ubuntu-22.04, ubuntu-20.04,
              macos-11, macos-12, macos-13,
              windows-2019, windows-2022]
-        solver: [z3-4.8.5, z3-4.12.1, z3-4.12.6]
+        solver: [z3-4.12.1, z3-4.12.6]
         arch: [x64]
         include:
           - os: macos-11
diff --git a/.gitmodules b/.gitmodules
@@ -1,6 +1,3 @@
-[submodule "repos/z3-4.8.5"]
-	path = repos/z3-4.8.5
-	url = https://github.com/z3prover/z3
 [submodule "repos/z3-4.12.1"]
 	path = repos/z3-4.12.1
 	url = https://github.com/z3prover/z3
diff --git a/repos/z3-4.8.5 b/repos/z3-4.8.5
