From d36afb67b8e1a57253bba6e20a57d1265cb71366 Mon Sep 17 00:00:00 2001 From: "Sergio R. Caprile" Date: Tue, 26 May 2026 10:09:31 -0300 Subject: [PATCH] update CodeQL job --- .github/workflows/codeql.yml | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 788afc7c..336d9fc3 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -21,12 +21,13 @@ jobs: with: { fetch-depth: 2 } - name: Initialize CodeQL - uses: github/codeql-action/init@v3 + uses: github/codeql-action/init@v4 with: - languages: cpp - - run: | - make -C test test CC=gcc ASAN= ASAN_OPTIONS= - ./test/setup_ga_network.sh && make -C test mip_test CC=gcc ASAN= ASAN_OPTIONS= + languages: c + build-mode: none + - run: | # This should just build code, not run it... ? + 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 - uses: github/codeql-action/analyze@v3 + uses: github/codeql-action/analyze@v4