Repo for dev container changed to use lowercase to satisfy Docker

PRL-PRG · Jan 14, 2025 · bd56496 · bd56496
1 parent 71841db
commit bd56496
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/devcontainer.yml b/.github/workflows/devcontainer.yml
@@ -25,6 +25,6 @@ jobs:
       - name: Build and run dev container task
         uses: devcontainers/[email protected]
         with:
-          imageName: ghcr.io/PRL-PRG/r-compile-server
+          imageName: ghcr.io/PRL-PRG/r_compile_server
           # Change this to be your CI task/script
           runCmd: cd server; mvn --batch-mode --update-snapshots test