test

test #3800

Job	Run time
build-and-test-server	5m 56s
prepare-matrix	3s
create-gobra-tools - GobraToolsWin	1m 6s
create-gobra-tools - GobraToolsLinux	47s
create-gobra-tools - GobraToolsMac	46s
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	1m 30s
build-and-test-client - macos-latest, src/test/data/settings/local.json	1m 7s
build-and-test-client - ubuntu-latest, src/test/data/settings/nightly.json	1m 14s
build-and-test-client - ubuntu-latest, src/test/data/settings/empty.json	1m 26s
build-and-test-client - ubuntu-latest, src/test/data/settings/local.json	1m 16s
build-and-test-client - windows-latest, src/test/data/settings/nightly.json	2m 53s
build-and-test-client - windows-latest, src/test/data/settings/empty.json	2m 36s
build-and-test-client - windows-latest, src/test/data/settings/local.json	1m 59s
create-nightly-release	59s
create-stable-release	0s
	24m 53s

Provide feedback