CI

include build scripts in code coverage measurement #1037

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
minrust	2m 2s
formatting	13s
build (nightly)	2m 56s
build (beta)	2m 57s
Miri	5m 45s
build (stable)	2m 52s
	16m 45s