Merge pull request #437 from viperproject/auto-update-vscode #3581

Job	Run time
build-and-test-server	6m 55s
prepare-matrix	2s
create-gobra-tools - GobraToolsWin	1m 1s
create-gobra-tools - GobraToolsLinux	59s
create-gobra-tools - GobraToolsMac	38s
build-and-test-client - macos-latest, src/test/data/settings/local.json	1m 9s
build-and-test-client - macos-latest, src/test/data/settings/empty.json	1m 26s
build-and-test-client - macos-latest, src/test/data/settings/nightly.json	1m 20s
build-and-test-client - ubuntu-latest, src/test/data/settings/local.json	1m 48s
build-and-test-client - ubuntu-latest, src/test/data/settings/empty.json	1m 6s
build-and-test-client - ubuntu-latest, src/test/data/settings/nightly.json	1m 58s
build-and-test-client - windows-latest, src/test/data/settings/local.json	2m 17s
build-and-test-client - windows-latest, src/test/data/settings/empty.json	2m 38s
build-and-test-client - windows-latest, src/test/data/settings/nightly.json	2m 34s
create-stable-release	0s
create-nightly-release	0s
	25m 51s

Provide feedback