Apply suggestions from code review

Add suggestions from review

Co-authored-by: Celina G. Val <[email protected]>

README.md

@@ -3,7 +3,7 @@
 This repository provides a GitHub Action for running the [Kani Rust Verifier](https://github.com/model-checking/kani) in CI.
 
 ⚠️ **Important Notice**: We will soon be moving the default branch from `main` to [`v1`](https://github.com/model-checking/kani-github-action/releases/tag/v1.0).
-Please be aware that version `0.38` will be the final release on the `main` branch before the transition to stable.
+Please be aware that version `0.38` will be the final release on the `main` branch before the transition to `v1`.
 Make sure to update your workflows and references accordingly.
 We have added a new field called `kani-version` that will default to installing the latest version of `kani`.
 To install a specific version of 'kani', please add a semver version to the field `kani-version` as shown in the example below.
@@ -16,7 +16,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Run Kani
-        uses: model-checking/kani-github-action@v1.0
+        uses: model-checking/kani-github-action@v1
         with:
           kani-version: '0.35.0'
           command: 'cargo-kani'