GitHub Action to verify Rust code using the Prusti verifier. - View it on GitHub