try enabling codeql again
DELETE
.github/workflows/codeql-analysis.yml.disabled
-name: "CodeQL"
-
-on:
- push:
- branches: [master]
- pull_request:
- branches: [master]
- schedule:
- - cron: '0 7 * * 2'
-
-jobs:
- analyze:
- name: Analyze
- runs-on: ubuntu-20.04
-
- strategy:
- fail-fast: false
- matrix:
- language: ['cpp']
-
- steps:
- - name: Install dependencies
- run: sudo apt-get install re2c z3
-
- - name: Checkout repository
- uses: actions/checkout@v2
- with:
- fetch-depth: 2
-
- - run: git checkout HEAD^2
- if: ${{ github.event_name == 'pull_request' }}
-
- - name: Initialize CodeQL
- uses: github/codeql-action/init@v1
- with:
- languages: ${{ matrix.language }}
-
- - name: Autobuild
- uses: github/codeql-action/autobuild@v1
-
- - name: Perform CodeQL Analysis
- uses: github/codeql-action/analyze@v1

ADD
.github/workflows/codeql.yml
+name: "Code Scanning - Action"
+
+on:
+ push:
+ pull_request:
+ schedule:
+ - cron: '30 1 * * 0'
+
+jobs:
+ CodeQL-Build:
+ runs-on: ubuntu-latest
+
+ steps:
+ - name: Checkout repository
+ uses: actions/checkout@v2
+
+ - name: Install dependencies
+ run: sudo apt-get install z3 re2c ninja-build g++-10
+
+ - name: Initialize CodeQL
+ uses: github/codeql-action/init@v1
+ with:
+ languages: cpp
+
+ - name: Compile
+ run: ./.github/scripts/build.sh
+
+ - name: Perform CodeQL Analysis
+ uses: github/codeql-action/analyze@v1
+
+ env:
+ CMAKE_BUILD_TYPE: Release
+ CMAKE_CXX_COMPILER: g++-10

try enabling codeql again