From b85af86e718e0ea5cb373ef24b11e39c3b31d99a Mon Sep 17 00:00:00 2001 From: ptaylor Date: Tue, 22 Aug 2023 21:09:48 +0000 Subject: [PATCH] copy devcontainer.json up one level --- .github/workflows/build-in-devcontainer.yaml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build-in-devcontainer.yaml b/.github/workflows/build-in-devcontainer.yaml index 0cb7e75ee..cb52bbb53 100644 --- a/.github/workflows/build-in-devcontainer.yaml +++ b/.github/workflows/build-in-devcontainer.yaml @@ -50,11 +50,12 @@ jobs: with: node-version: '16' - if: ${{ env.HAS_DEVCONTAINER == 'true' }} - name: Symlink devcontainer.json file + name: Copy devcontainer.json file up one level run: | - ln -s \ + cp \ .devcontainer/cuda${{ matrix.cuda }}-${{ matrix.pkgr }}/devcontainer.json \ .devcontainer/devcontainer.json + ls -all . - if: ${{ env.HAS_DEVCONTAINER == 'true' }} name: Run build in devcontainer uses: devcontainers/ci@v0.3