qinheping / kani-github-action Goto Github PK
View Code? Open in Web Editor NEWThis project forked from model-checking/kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
License: Apache License 2.0