CI: Run miri
using tree borrows in addition to the existing stacked borrows
#1750
Job | Run time |
---|---|
6s | |
1m 40s | |
1m 46s |
miri
using tree borrows in addition to the existing stacked borrows
#1750
Job | Run time |
---|---|
6s | |
1m 40s | |
1m 46s |