CI: Run miri
using tree borrows in addition to the existing
#103
Job | Run time |
---|---|
4s | |
2m 24s | |
10s | |
2m 38s |
miri
using tree borrows in addition to the existing
#103
Job | Run time |
---|---|
4s | |
2m 24s | |
10s | |
2m 38s |