1
0
mirror of synced 2025-01-11 05:42:15 +01:00

git: Make CodeQL CI use ninja

This commit is contained in:
Nik 2024-12-23 00:06:59 +01:00 committed by GitHub
parent 5fcb737559
commit 74e74ddc38
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -59,7 +59,7 @@ jobs:
-DIMHEX_PATTERNS_PULL_MASTER=ON \
-G Ninja \
..
make -j 4 install
ninja install
- name: 🗯️ Perform CodeQL Analysis
uses: github/codeql-action/analyze@v2