Merge branch 'master' into develop

njoy · Mar 11, 2024 · f73e59e · f73e59e
2 parents 1e99fd2 + ecb90a4
commit f73e59e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ContinuousIntegration.yml b/.github/workflows/ContinuousIntegration.yml
@@ -25,11 +25,11 @@ jobs:
       run: |
         which ${{matrix.cxx}}
         ${{matrix.cxx}} --version
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: mkdir bin
       run: mkdir bin
     - name: cmake
-      run: cmake -DPYTHON_EXECUTABLE=$(which python3) -D CMAKE_CXX_COMPILER=`which ${{matrix.cxx}}` -D CMAKE_BUILD_TYPE=${{matrix.build_type}} -D scion.tests=ON ..
+      run: cmake -DPYTHON_EXECUTABLE=$(which python3) -D CMAKE_CXX_COMPILER=`which ${{matrix.cxx}}` -D CMAKE_BUILD_TYPE=${{matrix.build_type}} -D scion.tests=ON -D scion.python=ON ..
       working-directory: ./bin
     - name: make
       run: make -j2