From d4d5976abedc172413121581920d7fa6362e6c54 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Philip=20Dub=C3=A9?= Date: Thu, 28 Dec 2023 18:18:22 +0000 Subject: [PATCH] dev-docker: comment why not using ubicloud --- .github/workflows/dev-docker.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/dev-docker.yml b/.github/workflows/dev-docker.yml index c4e3e313ec..1dd4d9d5b6 100644 --- a/.github/workflows/dev-docker.yml +++ b/.github/workflows/dev-docker.yml @@ -10,6 +10,7 @@ jobs: docker-build: strategy: matrix: + # ubuntu-latest leverages larger GH runner pool & completes in ~30s instead of ~3m runner: [ubuntu-latest] runs-on: ${{ matrix.runner }} permissions: