codeql

Автор	SHA1	Сообщение	Дата
Harry Maclean	9ea0b19ead	Replace deprecated extension in devcontainer	2023-04-23 06:05:25 +00:00
Paolo Tranquilli	e0784e0680	Swift: fix update-codeql Also require sudo at the start of the script if updating.	2022-06-22 11:05:30 +02:00
Paolo Tranquilli	4377fb0552	Swift: auto-install codeql on codespace	2022-06-22 10:51:30 +02:00
Paolo Tranquilli	400d7afc94	Swift: tweaks to codespace setup	2022-06-22 09:59:12 +02:00
Paolo Tranquilli	7223fedb58	Swift: fix user.sh pre-commit insallation	2022-06-20 15:28:54 +00:00
Paolo Tranquilli	15c4ac248d	Swift: add pip to codespace	2022-06-20 15:05:11 +00:00
Paolo Tranquilli	81ce511071	Swift: add pre-commit to codespace	2022-06-20 15:00:24 +00:00
Paolo Tranquilli	52ee4d4057	Swift: add devcontainer setup	2022-06-20 14:11:28 +00:00
Taus	12b34bcf04	Devcontainer: Install test dependencies These _should_ get installed automatically if missing, by in my experience this can be a bit flaky. Installing theme here should make this a bit more robust.	2022-05-12 12:17:04 +00:00
Arthur Baars	103d9420d2	Update CodeSpaces configuration	2021-10-15 15:38:16 +02:00
Andrew Eisenberg	d2a91970f3	Update devcontainer memory settings CodeQL CLI needs a minimum of 2G of memory. By default, the memory used is slightly less than that, leading to poor performance.	2020-09-02 12:04:34 -07:00
Jonas Jensen	19d4011b8a	Codespaces: initial configuration This was adapted from https://github.com/github/vscode-codeql-starter.	2020-05-28 14:01:36 +02:00