diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 955d752eb8..be9f8c9eaa 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -41,3 +41,11 @@ jobs:
           cd build
           cmake -DCMAKE_BUILD_TYPE="Release" ../
           make -j4
+      
+      - name: Test Z3-Noodler
+        run: |
+          mkdir build
+          cd build
+          cmake -DCMAKE_BUILD_TYPE="Release" ../
+          make -j4 test-noodler
+          ./test-noodler