CI - Ubuntu

Correctly detect whether option is actually changed #9232

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build (1.2.20, GUI=ON, 6.6.3)	6m 41s
Build (2.0.11, GUI=OFF, 6.6.3)	3m 26s
Build (1.2.20, GUI=OFF, 6.6.3)	4m 43s
Build (2.0.11, GUI=ON, 6.6.3)	6m 50s
	21m 40s