From 7c97cf1d3b59e9c00b7827df388f1721926fd00a Mon Sep 17 00:00:00 2001
From: Matthias Volk <m.volk@tue.nl>
Date: Mon, 10 Jun 2024 09:19:43 +0200
Subject: [PATCH] Fixed workflow file

---
 .github/workflows/buildtest.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/buildtest.yml b/.github/workflows/buildtest.yml
index ee1c727ac..e5bbbd90b 100644
--- a/.github/workflows/buildtest.yml
+++ b/.github/workflows/buildtest.yml
@@ -82,7 +82,6 @@ jobs:
              AllSanitizers: "ON",
              cmakeArgs: "-DMSAT_ROOT="
             }
-          }
     steps:
       - name: Git clone
         uses: actions/checkout@v4