UI: add commit field or a link to source code to github #133
Description
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.
{{ message }}
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.