Skip to content

feat(formal): grow P-3 to a real borrow graph (loan edges + move-locality) #904

feat(formal): grow P-3 to a real borrow graph (loan edges + move-locality)

feat(formal): grow P-3 to a real borrow graph (loan edges + move-locality) #904

Triggered via pull request June 21, 2026 13:22
Status Success
Total duration 9s
Artifacts

governance.yml

on: pull_request
governance
5s
governance
Fit to window
Zoom out
Zoom in