diff --git a/tutorial.code-workspace b/tutorial.code-workspace index ad5cb58..5ba4103 100644 --- a/tutorial.code-workspace +++ b/tutorial.code-workspace @@ -5,6 +5,7 @@ } ], "settings": { - "codeQL.codespacesTemplate": true + "codeQL.codespacesTemplate": true, + "codeQL.githubDatabase.download": "never", } -} \ No newline at end of file +}