manual build because workflow not merged into main yet

succinctlabs · Jun 8, 2024 · 83024a1 · 83024a1
1 parent 64f949d
commit 83024a1
Showing 1 changed file with 13 additions and 10 deletions.
diff --git 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