RFC: Attribute to distinguish safety preconditions from panic freedom #3750
Job | Run time |
---|---|
5m 13s | |
10m 1s | |
10m 44s | |
58s | |
3m 5s | |
38s | |
58s | |
42s | |
52s | |
35s | |
47s | |
0s | |
0s | |
34m 33s |
Job | Run time |
---|---|
5m 13s | |
10m 1s | |
10m 44s | |
58s | |
3m 5s | |
38s | |
58s | |
42s | |
52s | |
35s | |
47s | |
0s | |
0s | |
34m 33s |