fix: stop pr build env settings for tag push (#5)

DeepSourceCorp · Jul 24, 2023 · 7b739fc · 7b739fc
1 parent 4137a0a
commit 7b739fc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -16,7 +16,7 @@ jobs:
           ref: ${{ github.event.pull_request.head.sha }}
 
       - name: Set tag & repo name for PR builds
-        if: ${{ !contains(fromJson('["refs/heads/master" ]'), github.ref) }}
+        if: ${{ !contains(fromJson('["refs/heads/master" ]'), github.ref) && !startsWith(github.event.ref, 'refs/tags/v') }}
         run: |
           echo "IMAGE_TAG=PR-${{ github.event.number }}" >> $GITHUB_ENV
           echo "REPO=deepsource-dev" >> $GITHUB_ENV