CI

use correct repo for xlang xrefs for mirrored repos #4002

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	21s
ci (8.6.5, gcc)	35m 54s
ci (8.8.4, gcc)	34m 12s
ci (8.10.7, gcc)	35m 16s
ci (8.10.7, clang)	34m 21s
	2h 20m 4s