This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
See CONTRIBUTING for more information.
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.