build

Small corrections and tests (#2214) #2605

Job	Run time
prelude	3s
build-windows (debug, x86_64, Debug)	14m 1s
build-linux-macos (ubuntu-22.04-arm, debug, Debug)	5m 34s
upload-source-code	11s
build-linux-macos (ubuntu-22.04, debug, Debug)	5m 46s
build-linux-macos (macos-15-intel, debug, Debug)	16m 58s
build-linux-macos (macos-15, debug, Debug)	10m 20s
	52m 53s

Navigation Menu