From 36bdffcd0637ca3f0138caba050e6e05b3ad7a6c Mon Sep 17 00:00:00 2001
From: GitHub Actions <actions@github.com>
Date: Wed, 24 Dec 2025 05:09:36 +0000
Subject: [PATCH] refactor(workspace): remove unused CodeQL folder references
 from workspace settings

---
 Chiron.code-workspace | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/Chiron.code-workspace b/Chiron.code-workspace
index 9278b812..ea5a4bc7 100644
--- a/Chiron.code-workspace
+++ b/Chiron.code-workspace
@@ -2,17 +2,11 @@
     "folders": [
         {
             "path": "."
-        },
-        {
-            "path": "../codeql"
-        },
-        {
-            "name": "[my-codeql-db source archive]",
-            "uri": "codeql-zip-archive://0-37/projects/Charon/my-codeql-db/src.zip"
         }
     ],
     "settings": {
         "codeQL.createQuery.qlPackLocation": "/projects/Charon",
-        "sarif-viewer.connectToGithubCodeScanning": "on"
+        "sarif-viewer.connectToGithubCodeScanning": "on",
+        "codeQL.githubDatabase.download": "never"
     }
 }