add run_id to the name

jburel · Jun 30, 2022 · d0b4054 · d0b4054
1 parent d9d2035
commit d0b4054
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -12,9 +12,8 @@ jobs:
       - uses: actions/checkout@v2
       - name: Set version
         run: |
-          echo ${{github.job}}
           tag_name="${GITHUB_REF##*/}"
-          tag_value="${tag_name:1}-ice36"
+          tag_value="${tag_name:1}-ice36-b${{ github.run_id }}"
           echo "omero.version=$tag_value" >> etc/local.properties
       - name: Build and package
         run: ./build.py build-dev release-all release-src