CI

contrib: add run_ci script #561

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (clang, x86_64)	8s
build (gcc, x86_64)	6s
check	5m 10s
build (gcc, x86)	22s
build (clang, x86)	26s
	6m 12s