Merge branch 'main' into kaspersv/overlay-annotations-script-ci

This commit is contained in:
Kasper Svendsen
2025-06-27 08:31:34 +02:00
committed by GitHub
2471 changed files with 66168 additions and 28120 deletions

View File

@@ -16,7 +16,6 @@ on:
- "shared/**/*.qll"
- "!**/experimental/**"
- "!ql/**"
- "!rust/**"
- ".github/workflows/check-change-note.yml"
jobs:

View File

@@ -53,7 +53,7 @@ jobs:
- name: Create database
run: |
"${CODEQL}" database create \
--search-path "${{ github.workspace }}"
--search-path "${{ github.workspace }}" \
--threads 4 \
--language ql --source-root "${{ github.workspace }}/repo" \
"${{ runner.temp }}/database"