Build

Merge pull request #1663 from colobot/dev-utilities-update #55

Job	Run time
doc	33s
build-macos (macos, macos-12)	3m 24s
build-windows (amd64, x64-windows-static)	23m 49s
build-linux (linux, ubuntu-20.04)	5m 4s
build-macos (macos, macos-13)	5m 56s
build-windows (x86, x86-windows-static)	23m 37s
build-linux (linux, ubuntu-22.04)	4m 37s
build-linux (ubuntu-22.04, debian:unstable-slim)	5m 45s
build-linux (ubuntu-22.04, debian:testing-slim)	5m 30s
	1h 18m 15s

Provide feedback