diff --git a/.github/workflows/production.yml b/.github/workflows/production.yml index 71e7fc7..b726547 100644 --- a/.github/workflows/production.yml +++ b/.github/workflows/production.yml @@ -1,6 +1,12 @@ name: Production on: workflow_dispatch: + inputs: + refresh-cache: + description: "Rebuild all layers without reading the build cache, but still write fresh layers to the cache registry [default: false]" + type: boolean + default: false + required: false schedule: # Weekly rebuild of all images, to pick up any upstream changes. @@ -87,6 +93,7 @@ jobs: image-name: "^(?!workbench-session-complete$)" # Push images only for merges into main and weekly schduled re-builds. push: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' || github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' && github.ref == 'refs/heads/main' }} + refresh-cache: ${{ inputs.refresh-cache || false }} update-helm: name: Update Helm diff --git a/.github/workflows/session.yml b/.github/workflows/session.yml index 58d8ec6..33259cd 100644 --- a/.github/workflows/session.yml +++ b/.github/workflows/session.yml @@ -1,6 +1,12 @@ name: Session Images on: workflow_dispatch: + inputs: + refresh-cache: + description: "Rebuild all layers without reading the build cache, but still write fresh layers to the cache registry [default: false]" + type: boolean + default: false + required: false schedule: # Weekly rebuild of all images, to pick up any upstream changes. @@ -66,6 +72,7 @@ jobs: matrix-versions: only # Push images only for merges into main and weekly schduled re-builds. push: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' || github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' && github.ref == 'refs/heads/main' }} + refresh-cache: ${{ inputs.refresh-cache || false }} build-complete: name: Build Session Complete @@ -99,3 +106,4 @@ jobs: matrix-versions: "exclude" # Push images only for merges into main and weekly schduled re-builds. push: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' || github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' && github.ref == 'refs/heads/main' }} + refresh-cache: ${{ inputs.refresh-cache || false }}