CI - Linux via APT

Merge pull request #2469 from jorisv/topic/hidden_symbols #2471

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu:20.04)	1h 9m 52s
build (ubuntu:22.04)	1h 10m 48s
build (ubuntu:24.04)	1h 16m 4s
check-linux-apt	2s
	3h 36m 46s