From f838096619a707b0f6b2118cf435eaccfa33e51f Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Wed, 10 Jan 2024 13:49:59 -0800 Subject: [PATCH] Update README to use v1 instead of v1.0 (#55) --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 8b26e68..92461e2 100644 --- a/README.md +++ b/README.md @@ -53,7 +53,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 ``` #### Example 2: Use pinned version of Kani @@ -66,7 +66,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' @@ -83,7 +83,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: args: '--tests' enable-propproof: true