test

Merge pull request #456 from viperproject/auto-update-vscode #3808

Job	Run time
prepare-matrix	7s
build-and-test-server	6m 5s
create-gobra-tools - GobraToolsWin	53s
create-gobra-tools - GobraToolsLinux	34s
create-gobra-tools - GobraToolsMac	33s
build-and-test-client - macos-latest, src/test/data/settings/nightly.json	1m 12s
build-and-test-client - macos-latest, src/test/data/settings/empty.json	1m 23s
build-and-test-client - macos-latest, src/test/data/settings/local.json	1m 4s
build-and-test-client - ubuntu-latest, src/test/data/settings/nightly.json	1m 3s
build-and-test-client - ubuntu-latest, src/test/data/settings/empty.json	1m 6s
build-and-test-client - ubuntu-latest, src/test/data/settings/local.json	1m 11s
build-and-test-client - windows-latest, src/test/data/settings/nightly.json	2m 28s
build-and-test-client - windows-latest, src/test/data/settings/empty.json	2m 8s
build-and-test-client - windows-latest, src/test/data/settings/local.json	2m 25s
create-nightly-release	0s
create-stable-release	0s
	22m 12s

Provide feedback