Merge pull request #187 from Model-Validation/bugfix/add-ninja-to-github-runner

Bugfix/add ninja to GitHub runner

Author: pcaspers

.github/workflows/linux_build.yaml

@@ -31,7 +31,7 @@ jobs:
     - name: Set up Boost
       run: |
         sudo apt update
-        sudo apt install -y libboost-all-dev libboost-test-dev
+        sudo apt install -y libboost-all-dev libboost-test-dev ninja-build
     - name: cmake configure
       run : mkdir build; cd build; cmake -DCMAKE_BUILD_TYPE=Release -DQL_BUILD_EXAMPLES=false -DQL_BUILD_TEST_SUITE=false -DQL_BUILD_BENCHMARK=false -DQL_ENABLE_SESSIONS=true -DORE_BUILD_DOC=false -G "Ninja" ..
     - name: cmake build