From fd4332dbcd5227fde96e7bc128418d834b5b910f Mon Sep 17 00:00:00 2001
From: jvoisin
Date: Wed, 20 Sep 2023 18:05:27 +0200
Subject: Add tests for compile-time errors

---
 .github/workflows/testsuite.yaml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to '.github')

diff --git a/.github/workflows/testsuite.yaml b/.github/workflows/testsuite.yaml
index c2ca309..fb655e3 100644
--- a/.github/workflows/testsuite.yaml
+++ b/.github/workflows/testsuite.yaml
@@ -35,7 +35,7 @@ jobs:
         run: make -C tests gcc
       - name: Running the testsuite
         shell: bash
-        run: make -C tests run | grep -zqv FAIL
+        run: make -C tests run
 
   clang:
     runs-on: ubuntu-latest
@@ -64,6 +64,9 @@ jobs:
       - name: Build
         shell: bash
         run: make -C tests clang
-      - name: Running the testsuite
+      - name: Running the compile-time testsuite
+        shell: bash
+        run: make -C tests clang
+      - name: Running the run-time testsuite
         shell: bash
-        run: make -C tests run | grep -zqv FAIL
+        run: make -C tests run
-- 
cgit v1.3