test

test #3801

Job	Run time
build-and-test-server	6m 5s
prepare-matrix	2s
create-gobra-tools - GobraToolsWin	55s
create-gobra-tools - GobraToolsLinux	25s
create-gobra-tools - GobraToolsMac	28s
build-and-test-client - macos-latest, src/test/data/settings/nightly.json	1m 52s
build-and-test-client - macos-latest, src/test/data/settings/empty.json	1m 17s
build-and-test-client - macos-latest, src/test/data/settings/local.json	1m 21s
build-and-test-client - ubuntu-latest, src/test/data/settings/nightly.json	1m 21s
build-and-test-client - ubuntu-latest, src/test/data/settings/empty.json	1m 19s
build-and-test-client - ubuntu-latest, src/test/data/settings/local.json	1m 22s
build-and-test-client - windows-latest, src/test/data/settings/nightly.json	2m 39s
build-and-test-client - windows-latest, src/test/data/settings/empty.json	2m 33s
build-and-test-client - windows-latest, src/test/data/settings/local.json	2m 22s
create-nightly-release	52s
create-stable-release	0s
	24m 53s

Provide feedback