test

Update VS Code to 1.96.0 #3803

Job	Run time
prepare-matrix	2s
build-and-test-server	5m 58s
create-gobra-tools - GobraToolsWin	44s
create-gobra-tools - GobraToolsLinux	48s
create-gobra-tools - GobraToolsMac	52s
build-and-test-client - macos-latest, src/test/data/settings/nightly.json	1m 15s
build-and-test-client - macos-latest, src/test/data/settings/empty.json	2m 2s
build-and-test-client - macos-latest, src/test/data/settings/local.json	1m 14s
build-and-test-client - ubuntu-latest, src/test/data/settings/nightly.json	1m 19s
build-and-test-client - ubuntu-latest, src/test/data/settings/empty.json	1m 29s
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 30s
build-and-test-client - windows-latest, src/test/data/settings/empty.json	2m 43s
build-and-test-client - windows-latest, src/test/data/settings/local.json	2m 18s
create-nightly-release	0s
create-stable-release	0s
	24m 25s

Provide feedback