CI

Re-sync with internal repository (#473) #3993

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	26s
ci (8.6.5, gcc)	38m 6s
ci (8.8.4, gcc)	35m 36s
ci (8.10.7, gcc)	36m 45s
ci (8.10.7, clang)	37m 52s
	2h 28m 45s