Compile CGAL Lab

Doxygen: fix doc compilation with Doxygen 1.10 or later #10395

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
batch_1	21m 6s
batch_2	28m 54s
batch_3	27m 54s
batch_4	21m 6s
	1h 39m 0s