From 57f7dbe01f3191a38198b1f54a399d31426fd475 Mon Sep 17 00:00:00 2001 From: jaisnan Date: Thu, 28 Sep 2023 11:07:39 -0400 Subject: [PATCH] Remove backticks --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index a00cf5e..08ffbab 100644 --- a/README.md +++ b/README.md @@ -2,10 +2,10 @@ 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. -Please be aware that version `0.38` will be the final release where the version of `Kani` matches the version of `Kani Github Action`. +⚠️ **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. +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 install a specific version of Kani, please add a semver version to the field `kani-version` as shown in the example below. Example: