Fixed workflow file

moves-rwth · Jun 10, 2024 · 7c97cf1 · 7c97cf1
1 parent cb739b5
commit 7c97cf1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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