Currently, we have source code displayed, but no context available. It'd be great if there is a link to the line of code in verify-rust-std repo at the commit. <img width="958" height="678" alt="Image" src="https://github.com/user-attachments/assets/3ffbad0d-542b-4258-b132-47cd69256a6e" />
Currently, we have source code displayed, but no context available.
It'd be great if there is a link to the line of code in verify-rust-std repo at the commit.