From 57380f3eb3885442572f8d3ecf9b8c8e0ce33142 Mon Sep 17 00:00:00 2001
From: Aleksandr Misonizhnik <misonijnik@gmail.com>
Date: Sun, 6 Oct 2024 11:04:46 +0200
Subject: [PATCH] ci:

---
 .github/workflows/build.yaml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index a719906a53..5101687925 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -38,6 +38,7 @@ env:
   Z3_VERSION: 4.8.15
   SQLITE_VERSION: 3400100
   BITWUZLA_VERSION: 0.3.1
+  SMITHRIL_VERSION: v0.0.2
   JSON_VERSION: v3.11.3
   IMMER_VERSION: v0.8.1
 
@@ -60,6 +61,7 @@ jobs:
           "metaSMT",
           "STP master",
           "Bitwuzla only",
+          "Smithril only",
           "Latest klee-uclibc",
           "Asserts disabled",
           "No TCMalloc, optimised runtime",
@@ -125,6 +127,10 @@ jobs:
           - name: "Bitwuzla only"
             env:
               SOLVERS: BITWUZLA
+          # Test just using Smithril only
+          - name: "Smithril only"
+            env:
+              SOLVERS: SMITHRIL
           # Check we can build latest klee-uclibc branch
           - name: "Latest klee-uclibc"
             env: