diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 0c2531e..4fb11e7 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -13,9 +13,10 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-22.04, ubuntu-20.04, macos-11, macos-12, windows-2019]
+        os: [ubuntu-22.04, ubuntu-20.04,
+             windows-2019, windows-2022]
+        solver: [z3-4.8.5, z3-4.12.1, z3-4.12.6]
         arch: [x64]
-        solver: [z3-4.8.5, z3-4.12.1]
         include:
           - os: macos-11
             arch: arm64
@@ -23,6 +24,18 @@ jobs:
           - os: macos-12
             arch: arm64
             solver: z3-4.12.1
+          - os: macos-13
+            arch: arm64
+            solver: z3-4.12.1
+          - os: macos-11
+            arch: arm64
+            solver: z3-4.12.6
+          - os: macos-12
+            arch: arm64
+            solver: z3-4.12.6
+          - os: macos-13
+            arch: arm64
+            solver: z3-4.12.6
     steps:
       - name: Check out
         uses: actions/checkout@v3
diff --git a/.gitmodules b/.gitmodules
index 4d26738..2eb7577 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "repos/z3-4.12.1"]
 	path = repos/z3-4.12.1
 	url = https://github.com/z3prover/z3
+[submodule "repos/z3-4.12.6"]
+	path = repos/z3-4.12.6
+	url = https://github.com/z3prover/z3
diff --git a/repos/z3-4.12.6 b/repos/z3-4.12.6
new file mode 160000
index 0000000..fa2c0e0
--- /dev/null
+++ b/repos/z3-4.12.6
@@ -0,0 +1 @@
+Subproject commit fa2c0e027894a8d55d2b841e27cbeecc99692a3f