CI: Run miri
using tree borrows in addition to the existing stacked borrows
#2436
Job | Run time |
---|---|
6s | |
7m 36s | |
7m 42s | |
12m 7s | |
6m 29s | |
34m 0s |
miri
using tree borrows in addition to the existing stacked borrows
#2436
Job | Run time |
---|---|
6s | |
7m 36s | |
7m 42s | |
12m 7s | |
6m 29s | |
34m 0s |