From c87b747cb3075fe6b6bcb5eb563bec7301eca56f Mon Sep 17 00:00:00 2001
From: Daniel Chappuis <chappuis.daniel@gmail.com>
Date: Wed, 4 Aug 2021 20:56:05 +0200
Subject: [PATCH] Working on Github Actions

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

diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
index b286603c..2a1c5c3a 100644
--- a/.github/workflows/build-and-test.yml
+++ b/.github/workflows/build-and-test.yml
@@ -179,7 +179,7 @@ jobs:
         run: ./build/test/tests
         
       - name: Build and Run Hello World
-        if: !(${{ matrix.config.coverage }})
+        if: ${{ !matrix.config.coverage }}
         shell: bash
         env:
           CC: ${{ matrix.config.cc }}