CI

Alas, `--extra_execution_platforms` didn't help. #238

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-appleclang (17)	3m 53s
build-clang (15)	3m 34s
build-appleclang (20)	4m 44s
build-gcc (11)	3m 19s
build-clang (16)	3m 12s
build-gcc (12)	4m 11s
build-clang (17)	3m 27s
build-gcc (13)	3m 38s
	29m 58s