diff --git a/.github/workflows/docker-publish-gnark.yml b/.github/workflows/docker-publish-gnark.yml index c36a28d302..7b85ded289 100644 --- a/.github/workflows/docker-publish-gnark.yml +++ b/.github/workflows/docker-publish-gnark.yml @@ -5,6 +5,8 @@ on: push: tags: - "v*.*.*" + branches: + - chris/circuit-version schedule: - cron: "0 0 * * *" # Trigger without any parameters a proactive rebuild @@ -65,16 +67,17 @@ jobs: - name: Finalize Docker Metadata id: docker_tagging run: | - if [[ "${{ github.event_name }}" == 'workflow_dispatch' ]]; then - echo "manual trigger from workflow_dispatch, assigning tag ${{ github.event.inputs.tags }}" - echo "docker_tags=${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:${{ github.event.inputs.tags }}" >> $GITHUB_OUTPUT - elif [[ "${{ github.event_name }}" == 'schedule' ]]; then - echo "cron trigger, assigning nightly tag" - echo "docker_tags=${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:nightly,${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:nightly-${GITHUB_SHA}" >> $GITHUB_OUTPUT - else - echo "Neither scheduled nor manual release from main branch. Just tagging as branch name" - echo "docker_tags=${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:${GITHUB_REF##*/}" >> $GITHUB_OUTPUT - fi + echo "docker_tags=${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:v1.0.7-testnet" >> $GITHUB_OUTPUT + # if [[ "${{ github.event_name }}" == 'workflow_dispatch' ]]; then + # echo "manual trigger from workflow_dispatch, assigning tag ${{ github.event.inputs.tags }}" + # echo "docker_tags=${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:${{ github.event.inputs.tags }}" >> $GITHUB_OUTPUT + # elif [[ "${{ github.event_name }}" == 'schedule' ]]; then + # echo "cron trigger, assigning nightly tag" + # echo "docker_tags=${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:nightly,${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:nightly-${GITHUB_SHA}" >> $GITHUB_OUTPUT + # else + # echo "Neither scheduled nor manual release from main branch. Just tagging as branch name" + # echo "docker_tags=${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:${GITHUB_REF##*/}" >> $GITHUB_OUTPUT + # fi # Log docker metadata to explicitly know what is being pushed - name: Inspect Docker Metadata