CI

Merge remote-tracking branch 'origin/develop' into ortools_build #462

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-on-windows	7m 49s
build-on-mac (macos-14-large)	25m 7s
build-on-mac (macos-latest)	18m 45s
build-on-ubuntu	13m 52s
	1h 5m 33s