From d6a8ba72b68d4223aafff772c2f59ab7c77b4352 Mon Sep 17 00:00:00 2001 From: Rongxin Liu Date: Sat, 23 Sep 2023 07:51:31 -0400 Subject: [PATCH] updated workflow to use devcontainer.json as the build config file --- .github/workflows/main.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index b324b9a75..36226f132 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -31,7 +31,7 @@ jobs: run: | export VCS_REF=$(git rev-parse HEAD) npm install -g @devcontainers/cli - devcontainer build --workspace-folder . --image-name cs50/codespace:${{ github.sha }} --image-name cs50/codespace:latest + devcontainer build --workspace-folder . --config devcontainer.json --image-name cs50/codespace:${{ github.sha }} --image-name cs50/codespace:latest - name: Push (latest) to GitHub Packages if: ${{ github.ref == 'refs/heads/main' }} @@ -52,7 +52,7 @@ jobs: run: | export VCS_REF=$(git rev-parse HEAD) npm install -g @devcontainers/cli - devcontainer build --workspace-folder . --image-name cs50/codespace:${{ github.sha }} --image-name cs50/codespace:develop + devcontainer build --workspace-folder . --config devcontainer.json --image-name cs50/codespace:${{ github.sha }} --image-name cs50/codespace:develop - name: Push (develop) to GitHub Packages if: ${{ github.ref == 'refs/heads/develop' }}