Ubuntu 22.04 Sanitized CI (GCC 11)

Merge branch 'exhaustive32' into exhaustive32_count_fix #103

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-build (OFF)	6m 15s
ubuntu-build (ON)	6m 21s
	12m 36s