Add support for miri
testing.
#128
Job | Run time |
---|---|
27s | |
2m 0s | |
37s | |
33s | |
1m 37s | |
35s | |
29s | |
1m 47s | |
30s | |
37s | |
1m 48s | |
28s | |
51s | |
1m 55s | |
49s | |
15m 3s |
miri
testing.
#128
Job | Run time |
---|---|
27s | |
2m 0s | |
37s | |
33s | |
1m 37s | |
35s | |
29s | |
1m 47s | |
30s | |
37s | |
1m 48s | |
28s | |
51s | |
1m 55s | |
49s | |
15m 3s |