Test

Merge pull request #619 from ofek/patch-1 #1008

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Benchmarks	2m 2s
Test (stable, false)	1m 57s
Miri	8m 41s
Test (beta, false)	1m 56s
Test (nightly, true)	1m 42s
	16m 18s