Try to make the image cache work

PRL-PRG · Jan 14, 2025 · be29ccc · be29ccc
1 parent b8bf57f
commit be29ccc
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/devcontainer.yml b/.github/workflows/devcontainer.yml
@@ -53,9 +53,10 @@ jobs:
 
 
       # See https://github.com/devcontainers/ci/blob/main/docs/github-action.md
-      - name: Build and run dev container task
+      - name: Run tests in the dev container task
         uses: devcontainers/[email protected]
         with:
+          imageName:  ${{ needs.build-devcontainer.outputs.imageName }}
           cacheFrom:  ${{ needs.build-devcontainer.outputs.imageName }}
           # Change this to be your CI task/script
           runCmd: cd server; mvn --batch-mode --update-snapshots test
@@ -76,8 +77,9 @@ jobs:
           password: ${{ secrets.GITHUB_TOKEN }}
 
 
-      - name: Build and run dev container task
+      - name: Run linters in the container task
         uses: devcontainers/[email protected]
         with:
+          imageName:  ${{ needs.build-devcontainer.outputs.imageName }}
           cacheFrom:  ${{ needs.build-devcontainer.outputs.imageName }}
           runCmd: cd server; mvn --batch-mode --update-snapshots verify