Test

Merge pull request #543 from MichaReiser/input-builder #849

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Test (stable, false)	2m 8s
Miri	7m 0s
Test (beta, false)	1m 54s
Benchmarks	1m 37s
Test (nightly, true)	1m 51s
	14m 30s