Merge remote-tracking branch 'refs/remotes/origin/ci/tree-borrows' into ci/tree-borrows
Passed
Neven Villani
created pipeline for commit
84fa0bd1
, finished
2 related merge requests: !17 Tree Borrows (done), !15 Theorem about how `item_for_loc` reacts to accesses
6 minutes 19 seconds, queued for 3 seconds