dev-docker: comment why not using ubicloud

PeerDB-io · Dec 28, 2023 · d4d5976 · d4d5976
1 parent 97de081
commit d4d5976
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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: