Merge pull request #3563 from cesanta/ql

update CodeQL job
This commit is contained in:
Sergio R. Caprile authored and GitHub committed 2026-05-26 10:47:20 -03:00
commit 67ca595024
1 file changed
+7 -6
+7 -6
View File
@@ -21,12 +21,13 @@ jobs:
with: { fetch-depth: 2 } with: { fetch-depth: 2 }
- name: Initialize CodeQL - name: Initialize CodeQL
uses: github/codeql-action/init@v3 uses: github/codeql-action/init@v4
with: with:
languages: cpp languages: c
- run: | build-mode: none
make -C test test CC=gcc ASAN= ASAN_OPTIONS= - run: | # This should just build code, not run it... ?
./test/setup_ga_network.sh && make -C test mip_test CC=gcc ASAN= ASAN_OPTIONS= make -C test test SSL=BUILTIN CC=gcc IPV6=0 ASAN= ASAN_OPTIONS=
# make -C test mip_tap_test SSL=BUILTIN CC=gcc IPV6=0 ASAN= ASAN_OPTIONS=
- name: Perform CodeQL Analysis - name: Perform CodeQL Analysis
uses: github/codeql-action/analyze@v3 uses: github/codeql-action/analyze@v4