Have the STP coverage build also provide Z3, so that the crosscheck s…

…olver can also be tested
Yuzhou-Fang · Feb 28, 2023 · d3e8cd3 · d3e8cd3
1 parent 04a42c9
commit d3e8cd3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -162,7 +162,7 @@ jobs:
         include:
           - name: "STP"
             env:
-              SOLVERS: STP
+              SOLVERS: STP:Z3
           - name: "Z3"
             env:
               SOLVERS: Z3