Skip to content

Model GenDoc's own failures as documented first-class errors #290

Model GenDoc's own failures as documented first-class errors

Model GenDoc's own failures as documented first-class errors #290

Workflow file for this run

name: codeql
on:
push:
branches:
- main
pull_request:
branches:
- main
schedule:
# Weekly re-scan so newly shipped CodeQL queries run against unchanged code.
- cron: '17 6 * * 1'
workflow_dispatch:
# Cancel superseded runs on the same branch / PR.
concurrency:
group: codeql-${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions:
contents: read
jobs:
analyze:
name: CodeQL analyze (C#)
runs-on: ubuntu-latest
# Buildless CodeQL is ~2 min; cap a stuck analysis well above that.
timeout-minutes: 20
permissions:
# Required to upload results to the code-scanning dashboard.
security-events: write
# Needed by the action on private repositories; harmless on public ones.
actions: read
contents: read
steps:
- name: Checkout
uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7
- name: Initialize CodeQL
uses: github/codeql-action/init@99df26d4f13ea111d4ec1a7dddef6063f76b97e9 # v4
with:
languages: csharp
# Buildless extraction: no .NET SDK or build step is needed, and it sidesteps
# compiler-tracing issues on a very new SDK. Switch to `manual` (with a
# dotnet build step) later if deeper data-flow analysis is ever wanted.
build-mode: none
- name: Perform CodeQL analysis
uses: github/codeql-action/analyze@99df26d4f13ea111d4ec1a7dddef6063f76b97e9 # v4
with:
category: "/language:csharp"