CI

add workflow to measure execute time #3655

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coverage (1)	19m 17s
clippy	59s
coverage (2)	19m 17s
coverage (3)	19m 17s
dockerfile (linux, amd64)	17m 2s
rustfmt	13s
coverage (4)	19m 17s
test (linux, amd64)	19m 13s
Test (macOS, Apple silicon)	19m 16s
udeps	4m 3s
Upload Coverage	1s
	2h 17m 55s