Linux CI

Initialize `ctrl_` with its correct size (#653) #1231

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
GNU GCC 10	12m 46s
GNU GCC 10 (c++20)	14m 7s
GNU GCC 9	10m 58s
Clang 11	9m 26s
Clang 13	10m 5s
GNU GCC 12	15m 16s
Compile everything (GCC 9)	16m 25s
	1h 29m 3s