diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index b082e92..ec2158f 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -19,6 +19,45 @@ on: schedule: - cron: '22 21 * * 3' +jobs: + analyze: + name: Analyze + runs-on: ubuntu-latest + timeout-minutes: 360 + permissions: + security-events: write + packages: read + actions: read + contents: read + + strategy: + fail-fast: true + matrix: + language: [ 'c-cpp', 'codeql' ] # Explicitly specify the languages + build-mode: [ 'default' ] + + steps: + - name: Checkout repository + uses: actions/checkout@v4 + + - name: Initialize CodeQL + uses: github/codeql-action/init@v3 + with: + languages: ${{ matrix.language }} + build-mode: ${{ matrix.build-mode }} + + - name: Perform CodeQL Analysis + uses: github/codeql-action/analyze@v3 + with: + category: "/language:${{matrix.language}}" +on: + push: + branches: [ "main" ] + pull_request: + branches: [ "main" ] + schedule: + - cron: '22 21 * * 3' + jobs: analyze: name: Analyze (${{ matrix.language }}) @@ -87,3 +126,19 @@ jobs: uses: github/codeql-action/analyze@v3 with: category: "/language:${{matrix.language}}" + + + verbosity: + title: "Extractor logging verbosity level." + description: | + Controls the level of verbosity of the extractor. The supported levels are (in order of increasing verbosity): + - off + - errors + - warnings + - info or progress + - debug or progress+ + - trace or progress++ + - progress+++ + type: string + pattern: "^(off|errors|warnings|info|progress|debug|progress\\+|trace|progress\\+\\+|progress\\+\\+\\+)$" +