CI

Update to Linux 7.1 #493

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Update generated files	4m 29s
Check (stable)	14s
Check (1.63)	3m 23s
Test	1m 6s
Check (nightly)	15s
	9m 27s