bugfix #718

	name: "CodeQL"

	on:
	push:
	pull_request:
	merge_group:
	schedule:
	- cron: "15 21 * * 6"
	workflow_dispatch:

	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	env:
	CMAKE_BUILD_PARALLEL_LEVEL: 3

	jobs:
	analyze:
	name: Analyze ${{ matrix.language }}
	runs-on: ubuntu-latest
	permissions:
	security-events: write

	strategy:
	fail-fast: false
	matrix:
	language: ["cpp"]

	steps:
	- name: Checkout repository
	uses: actions/checkout@v4
	with:
	submodules: recursive
	fetch-depth: 0
	- name: download-gurobi-linux
	shell: bash
	run: \|
	wget https://packages.gurobi.com/10.0/gurobi10.0.2_linux64.tar.gz
	tar -xvzf gurobi10.0.2_linux64.tar.gz
	# Initializes the CodeQL tools for scanning.
	- name: Initialize CodeQL
	uses: github/codeql-action/init@v2
	with:
	languages: ${{ matrix.language }}
	config-file: .github/codeql-config.yml

	- if: matrix.language == 'cpp'
	name: Configure CMake
	run: cmake -S . -B build -DCMAKE_BUILD_TYPE=Debug -DBUILD_TESTS=ON

	- if: matrix.language == 'cpp'
	name: Build
	run: cmake --build build

	- name: Perform CodeQL Analysis
	uses: github/codeql-action/analyze@v2
	with:
	upload: False
	output: sarif-results

	- name: filter-sarif
	uses: advanced-security/filter-sarif@main
	with:
	patterns: \|
	-/extern/
	input: sarif-results/${{ matrix.language }}.sarif
	output: sarif-results/${{ matrix.language }}.sarif

	- name: Upload SARIF
	uses: github/codeql-action/upload-sarif@v2
	with:
	sarif_file: sarif-results/${{ matrix.language }}.sarif

Provide feedback