Test Polyhedron Demo

Fix bad detection of warnings + remove outdated scripts #10598

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
batch_1	26m 6s
batch_2	25m 17s
batch_3	25m 29s
batch_4	26m 8s
	1h 43m 0s