From 0decb25420831d29f7cea97ee93bc6c93ca15a67 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 8 Jan 2026 19:59:08 -0800
Subject: [PATCH] Delete .github/workflows/codeql-analysis.yml

---
 .github/workflows/codeql-analysis.yml | 37 ---------------------------
 1 file changed, 37 deletions(-)
 delete mode 100644 .github/workflows/codeql-analysis.yml

diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml
deleted file mode 100644
index 618c98660..000000000
--- a/.github/workflows/codeql-analysis.yml
+++ /dev/null
@@ -1,37 +0,0 @@
-name: "CodeQL"
-
-on:
-  workflow_dispatch:
-
-
-jobs:
-  analyze:
-    name: Analyze
-    runs-on: ubuntu-latest
-    permissions:
-      actions: read
-      contents: read
-      security-events: write
-
-    strategy:
-      fail-fast: false
-      matrix:
-        language: [cpp]
-
-    steps:
-    - name: Checkout repository
-      uses: actions/checkout@v6
-
-    - name: Initialize CodeQL
-      uses: github/codeql-action/init@v4
-      with:
-        languages: ${{ matrix.language }}
-
-    - name: Autobuild
-      uses: github/codeql-action/autobuild@v4
-
-    - name: Run CodeQL Query
-      uses: github/codeql-action/analyze@v4
-      with:
-        category: 'custom'
-        queries: ./codeql/custom-queries
\ No newline at end of file