diff options
| -rw-r--r-- | .github/workflows/build.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 307dd8f2..9588b204 100644 --- 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 |