CI: Run miri using tree borrows in addition to the existing stacked borrows
#542
| Job | Run time |
|---|---|
| 4s | |
| 38s | |
| 42s |
miri using tree borrows in addition to the existing stacked borrows
#542
| Job | Run time |
|---|---|
| 4s | |
| 38s | |
| 42s |