chore: update docs, vscode settings (#296)

This commit is contained in:
2025-10-15 14:49:18 +03:00
committed by GitHub
parent 33631ad911
commit 57cbd83dc6
2 changed files with 16 additions and 1 deletions

View File

@@ -3,5 +3,6 @@
"connectionId": "ivuorinen",
"projectKey": "ivuorinen_actions"
},
"sarif-viewer.connectToGithubCodeScanning": "on"
"sarif-viewer.connectToGithubCodeScanning": "on",
"makefile.configureOnOpen": false
}