CI

Add shared dev-workspace setup script and harden CI workflow #282

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-24.04)	15s
build (macos-15)	23s
build (windows-2022)	34s
	1m 12s