update CodeQL

This commit is contained in:
Sergio R. Caprile committed 2024-09-17 13:14:52 -03:00
1 parent 1804cc3a09
commit e0eff1d2bb
1 file changed
+3 -3
+3 -3
View File
@@ -17,11 +17,11 @@ jobs:
permissions: permissions:
security-events: write security-events: write
steps: steps:
- uses: actions/checkout@v3 - uses: actions/checkout@v4
with: { fetch-depth: 2 } with: { fetch-depth: 2 }
- name: Initialize CodeQL - name: Initialize CodeQL
uses: github/codeql-action/init@v2 uses: github/codeql-action/init@v3
with: with:
languages: cpp languages: cpp
- run: | - run: |
@@ -29,4 +29,4 @@ jobs:
./test/setup_ga_network.sh && make -C test mip_test CC=gcc ASAN= ASAN_OPTIONS= ./test/setup_ga_network.sh && make -C test mip_test CC=gcc ASAN= ASAN_OPTIONS=
- name: Perform CodeQL Analysis - name: Perform CodeQL Analysis
uses: github/codeql-action/analyze@v2 uses: github/codeql-action/analyze@v3