From 245b5317fdffcc383703c873f24004b9fb6a0781 Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Wed, 10 Jan 2024 13:22:32 -0800 Subject: [PATCH] Update README.md Use `v1` by default in the given example. --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 08ffbab..0351734 100644 --- a/README.md +++ b/README.md @@ -2,10 +2,11 @@ This repository provides a GitHub Action for running the [Kani Rust Verifier](https://github.com/model-checking/kani) in CI. -⚠️ **Important Notice**: We will be moving to [`v1`](https://github.com/model-checking/kani-github-action/releases/tag/v1.0), which will install the latest version of Kani by default. +⚠️ **Important Notice**: We have recently released the action [Kani Rust Verifier `v1`](https://github.com/marketplace/actions/kani-rust-verifier), +which will install the latest version of Kani by default. Please be aware that version `0.38` will be the final release where the version of Kani matches the version of Kani Github Action. Make sure to update your workflows and references accordingly. -To install a specific version of Kani, please add a semver version to the field `kani-version` as shown in the example below. +To select a specific version of Kani Rust Verifier, please add a semver version to the field `kani-version` as shown in the example below. Example: