From 47e1367fa35fd4c054a63af3216698224901dd0f Mon Sep 17 00:00:00 2001 From: Matthew Gretton-Dann Date: Sun, 1 Dec 2024 20:23:18 +0000 Subject: [PATCH] Update VS Code settings. --- .vscode/settings.json | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.vscode/settings.json b/.vscode/settings.json index e13468a..ed93dab 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -13,5 +13,9 @@ ], "editor.formatOnSave": true }, - "sarif-viewer.connectToGithubCodeScanning": "off" + "sarif-viewer.connectToGithubCodeScanning": "off", + "ocaml.sandbox": { + "kind": "opam", + "switch": "${workspaceFolder:ocaml-aoc}" + } } \ No newline at end of file