Skip to content
CI

using the same variable and constant names as the paper #3715

Sign in to view logs

using the same variable and constant names as the paper

using the same variable and constant names as the paper #3715

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Release builds and tests
3m 7s
Basic Checks
6m 33s
Additional Builds and Concurrency Tests
6m 58s
sanitize (address)
5m 16s
sanitize (address, multi-threading)
4m 24s
sanitize (leak)
4m 35s
Measure coverage
10m 52s
sanitize (leak, multi-threading)
4m 31s
miri
2m 44s
49m 0s