From d0b40546edf8ab2d08fc6a8d4bdc50c370962beb Mon Sep 17 00:00:00 2001 From: Jean-Marie Burel Date: Thu, 30 Jun 2022 09:24:11 +0100 Subject: [PATCH] add run_id to the name --- .github/workflows/release.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 9053b8f406c..bce33a33d45 100644 --- 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