minor workspace config change

2025-05-06 18:12:24 -07:00
parent 1b3ca2e9da
commit f2d0c9fd82
1 changed files with 2 additions and 1 deletions
--- a/mrvaserver.code-workspace
+++ b/mrvaserver.code-workspace
@@ -11,6 +11,7 @@
        }
    ],
    "settings": {
-        "makefile.configureOnOpen": false
+        "makefile.configureOnOpen": false,
+        "sarif-viewer.connectToGithubCodeScanning": "off"
    }
 }