Build Tycho

Only apply a better profile if allowed #8201

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Event File	2s
build (ubuntu-latest)	1h 19m 45s
build (windows-latest)	1h 38m 29s
build (macos-13)	1h 28m 3s
	4h 26m 19s