CI

elide some lifetimes per clippy #1367

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	1m 5s
formatting	17s
minrust	1m 41s
build (nightly)	2m 51s
build (beta)	2m 59s
Miri	6m 41s
build (stable)	2m 51s
	18m 25s