CI

elide a lifetime that clippy wants to be elided #1153

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (nightly)	2m 55s
minrust	1m 37s
Miri	4m 28s
formatting	16s
build (beta)	2m 56s
lint	59s
build (stable)	2m 47s
	15m 58s