Fix build bundle tag check

model-checking · Oct 26, 2023 · 6045b1b · 6045b1b
1 parent ee4652d
commit 6045b1b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/actions/build-bundle/action.yml b/.github/actions/build-bundle/action.yml
@@ -30,13 +30,13 @@ runs:
 
  - name: Export tag version
  shell: bash
- if: ${{ github.event_name == 'push' && startsWith(github.ref, 'refs/tags/v') }}
+ if: ${{ github.event_name == 'push' && startsWith(github.ref, 'refs/tags/kani-') }}
  run: |
  echo "VERSION=${TAG_VERSION}" >> $GITHUB_ENV
 
  - name: Check Version
  shell: bash
- if: ${{ github.event_name == 'push' && startsWith(github.ref, 'refs/tags/v') }}
+ if: ${{ github.event_name == 'push' && startsWith(github.ref, 'refs/tags/kani-') }}
  run: |
  # Validate git tag & Cargo.toml are in sync on version number
  if [[ ${{ env.CRATE_VERSION }} != ${{ env.TAG_VERSION }} ]]; then
@@ -46,7 +46,7 @@ runs:
 
  - name: Export latest version
  shell: bash
- if: ${{ !startsWith(github.ref, 'refs/tags/v') }}
+ if: ${{ !startsWith(github.ref, 'refs/tags/kani-') }}
  run: |
  echo "VERSION=latest" >> $GITHUB_ENV