diff --git a/.github/workflows/docker-publish-cpu.yml b/.github/workflows/docker-publish-cpu.yml index 6ed78afe46..a8ac7e8104 100644 --- a/.github/workflows/docker-publish-cpu.yml +++ b/.github/workflows/docker-publish-cpu.yml @@ -19,7 +19,9 @@ jobs: # See also https://evilmartians.com/chronicles/build-images-on-github-actions-with-docker-layer-caching build-docker-image: name: "Build Docker Image" - runs-on: ubuntu-22.04 # runs-on: ubuntu-latest + #runs-on: ubuntu-22.04 # runs-on: ubuntu-latest + #runs-on: github-ubuntu-16core # NB: Premium GitHub runner with more cores + runs-on: github-ubuntu-64core # NB: Premium GitHub runner with more cores if: github.event_name == 'push' permissions: packages: write diff --git a/.github/workflows/docker-publish-gpu.yml b/.github/workflows/docker-publish-gpu.yml index decb977b6a..7ac6d777db 100644 --- a/.github/workflows/docker-publish-gpu.yml +++ b/.github/workflows/docker-publish-gpu.yml @@ -20,7 +20,8 @@ jobs: build-docker-image: name: "Build Docker Image" #runs-on: ubuntu-22.04 # runs-on: ubuntu-latest - runs-on: github-ubuntu-16core # NB: Premium GitHub runner with more cores + #runs-on: github-ubuntu-16core # NB: Premium GitHub runner with more cores + runs-on: github-ubuntu-64core # NB: Premium GitHub runner with more cores if: github.event_name == 'push' permissions: packages: write