Kani Github Action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
Security
See CONTRIBUTING for more information.
License
This code is distributed under the terms of both the MIT license and the Apache License (Version 2.0). See LICENSE-APACHE and LICENSE-MIT for details.