Skip to content
Back to pull request #11

use the portable optimizer_hide() when running under Miri #47

Sign in to view logs

use the portable optimizer_hide() when running under Miri

use the portable optimizer_hide() when running under Miri #47

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run tests under Miri
2m 59s
Run tests (1.74.0)
5m 39s
Run tests (stable)
5m 26s
Run tests (beta)
5m 34s
Run tests (nightly)
3m 20s
22m 58s