diff --git a/.github/workflows/docker-build-push-dockerhub.yml b/.github/workflows/docker-build-push-dockerhub.yml index 85cc97544..00ed9b0bf 100644 --- a/.github/workflows/docker-build-push-dockerhub.yml +++ b/.github/workflows/docker-build-push-dockerhub.yml @@ -16,8 +16,12 @@ on: types: - completed # Allow running workflow manually from the Actions tab + # workflow_dispatch: workflow_dispatch: - + inputs: + version: + description: 'Version to build' + required: true # Leaving in example for releases. Initially we simply push to 'latest' # on: # release: @@ -33,8 +37,13 @@ jobs: # Steps represent a sequence of tasks that will be executed as part of the job steps: # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it - - name: checkout - uses: actions/checkout@v3 + - name: Checkout code at specified version + uses: actions/checkout@v2 + with: + ref: ${{ github.event.inputs.version }} + + # - name: checkout + # uses: actions/checkout@v3 - name: Git submodule update run: |