I think this line:
|
rust-evm = { git = "ssh://git@github.com/Certora/rust-evm", rev = "720cbe0c6cb43fef92be4a2c37ef7cc524ff4c08" } |
could be changed to:
rust-evm = { git = "https://github.com/Certora/rust-evm", rev = "720cbe0c6cb43fef92be4a2c37ef7cc524ff4c08" }
The advantage of the latter is that it does not require authentication.
I think this line:
CertoraProver/fried-egg/Cargo.toml
Line 20 in 89159ec
could be changed to:
The advantage of the latter is that it does not require authentication.