Prebuild the devcontainer image

msys2 · Apr 14, 2024 · 72d07c1 · 72d07c1
1 parent 2861ed6
commit 72d07c1
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 3 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -1,5 +1,5 @@
 {
-    "build": { "dockerfile": "Dockerfile" },
+    "image": "ghcr.io/msys2/msys2-docker-devcontainer",
     "customizations": {
         "vscode": {
           "settings": {

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -23,10 +23,12 @@ jobs:
         env:
           TOKEN: ${{ secrets.GITHUB_TOKEN }}
           USERNAME: ${{ github.actor }}
-      - name: Build image
+      - name: Build images
         run: |
           docker build --tag ghcr.io/$GITHUB_REPOSITORY-experimental:latest .
-      - name: Deploy image
+          docker build -f devcontainer.Dockerfile --tag ghcr.io/$GITHUB_REPOSITORY-devcontainer:latest .
+      - name: Deploy images
         if: github.event_name != 'pull_request'
         run: |
           docker push ghcr.io/$GITHUB_REPOSITORY-experimental:latest
+          docker push ghcr.io/$GITHUB_REPOSITORY-devcontainer:latest
diff --git a/.devcontainer/Dockerfile → devcontainer.Dockerfile b/.devcontainer/Dockerfile → devcontainer.Dockerfile