Update workflow (push-manual-dev) (#773)

devcontainers · Sep 29, 2023 · 92ddae6 · 92ddae6
1 parent aa11060
commit 92ddae6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/push-manual-dev.yml b/.github/workflows/push-manual-dev.yml
@@ -1,4 +1,4 @@
-name: Re-push image
+name: Manually build and push dev images
 
 on:
   workflow_dispatch:
@@ -11,7 +11,7 @@ jobs:
   build-and-push:
     name: Build and push images
     if: ${{ startsWith(github.ref, 'refs/heads/') }}
-    runs-on: ubuntu-latest
+    runs-on: devcontainer-image-builder-ubuntu
     steps:
     - name: Free more space
       id: free_space