Verus proof of the aliasing monitor

Workflow runs for Verus proof of the aliasing monitor

• Aliasing checks: Tree Borrows monitor and its Verus proof

  completed successfully:
  Verus proof of the aliasing monitor#1:Pull request#5120openedbyfeliperodri
  feliperodri:aliasing-monitor-verus

  Nov 5, 20262m 7s
  More actions for workflow run 1