Fixed GH CI build script

UPPAALModelChecker · Sep 15, 2023 · 1474e28 · 1474e28
1 parent b2f12c0
commit 1474e28
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,3 +1,4 @@
+---
 name: Build and Test
 
 on:
@@ -10,9 +11,9 @@ jobs:
   formatting:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
-    - name: Formatting
-      run: find src include test -iregex '.*\.\(c\|h\|cpp\|hpp\|cc\|hh\|cxx\|hxx\)$' | xargs clang-format -n -Werror
+      - uses: actions/checkout@v2
+      - name: Formatting
+        run: find src include test -iregex '.*\.\(c\|h\|cpp\|hpp\|cc\|hh\|cxx\|hxx\)$' | xargs clang-format -n -Werror
   build-linux:
     runs-on: ubuntu-latest
     env:
@@ -31,7 +32,7 @@ jobs:
       - name: Get dependencies
         run: CMAKE_BUILD_TYPE=Release ./getlibs.sh $TARGET
       - name: Build with getlibs
-        run: | 
+        run: |
           BUILD=build-$TARGET-libs-$CMAKE_BUILD_TYPE
           cmake -S . -B $BUILD
           cmake --build $BUILD --config $CMAKE_BUILD_TYPE