CI self+toolchain

Minor clean-ups and clarifications #840

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos-latest gcc^10	18m 4s
macos-latest gcc^11	19m 33s
macos-latest gcc^12	12m 38s
macos-latest gcc^13	19m 29s
ubuntu-latest gcc^10	7m 16s
ubuntu-latest gcc^11	7m 14s
ubuntu-latest gcc^12	7m 32s
ubuntu-latest gcc^13	7m 39s
windows-latest gcc^10	15m 38s
windows-latest gcc^11	15m 57s
windows-latest gcc^12	15m 54s
windows-latest gcc^13	15m 55s
	2h 42m 49s