Remove Z3 4.8.5

dafny-lang · Apr 9, 2024 · c190189 · c190189
1 parent 62b50d7
commit c190189
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 5 deletions.
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