Skip to content

CodeQL Scanning

CodeQL Scanning #57

Workflow file for this run

name: "CodeQL Scanning"
# https://github.com/github/codeql-action
on:
schedule:
- cron: '30 2 * * *' # run at 2:30 AM UTC
# Allow manual runs
workflow_dispatch:
env:
IPV6: 0
jobs:
CodeQL-Build:
runs-on: ubuntu-latest
strategy:
fail-fast: false
permissions:
security-events: write
steps:
- uses: actions/checkout@v3
with: { fetch-depth: 2 }
- name: Initialize CodeQL
uses: github/codeql-action/init@v2
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=
- name: Perform CodeQL Analysis
uses: github/codeql-action/analyze@v2