CI self+toolchain

Amend style switches (expand -gnatyg). #761

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos-latest	25m 27s
ubuntu-latest	13m 56s
windows-latest	34m 13s
	1h 13m 36s