Skip to content

Update TODO.md

Update TODO.md #153

Workflow file for this run

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@v4
- name: Install dependencies
run: sudo apt-get install z3 re2c ninja-build g++-10
- name: Initialize CodeQL
uses: github/codeql-action/init@v3
with:
languages: cpp
- name: Compile
run: ./.github/scripts/build.sh
- name: Perform CodeQL Analysis
uses: github/codeql-action/analyze@v3
env:
CMAKE_BUILD_TYPE: Release
CMAKE_CXX_COMPILER: g++-10