From d3e8cd3c842b3ff8de31a52733378300fb3cef5a Mon Sep 17 00:00:00 2001
From: Daniel Schemmel <daniel@schemmel.net>
Date: Thu, 30 Jun 2022 00:51:20 +0100
Subject: Have the STP coverage build also provide Z3, so that the crosscheck
 solver can also be tested

---
 .github/workflows/build.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit 1.4.1