diff --git a/.github/codeql.yml b/.github/codeql-config.yml similarity index 100% rename from .github/codeql.yml rename to .github/codeql-config.yml diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 153550f..ae479f8 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -74,14 +74,17 @@ jobs: uses: github/codeql-action/init@v3 with: languages: ${{ matrix.language }} - config-file: ./.github/codeql.yml + config-file: ./.github/codeql-config.yml queries: +security-and-quality - - name: Build Async VOL + - name: Build and test Async VOL run: | cd build make && make install - ctest -V . +# +# Seems to hang with async_test_parallel5 +# + ctest -V -E async_test_parallel5 . - name: Perform CodeQL Analysis uses: github/codeql-action/analyze@v3