From bd5649667d431ab6b6589ba5b98f9f4d6ebb2c60 Mon Sep 17 00:00:00 2001
From: Pierre Donat-Bouillud <pierre.donat.bouillud@gmail.com>
Date: Mon, 13 Jan 2025 22:37:00 -0500
Subject: [PATCH] Repo for dev container changed to use lowercase to satisfy
 Docker

---
 .github/workflows/devcontainer.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/devcontainer.yml b/.github/workflows/devcontainer.yml
index 5102305e..344b11e2 100644
--- a/.github/workflows/devcontainer.yml
+++ b/.github/workflows/devcontainer.yml
@@ -25,6 +25,6 @@ jobs:
       - name: Build and run dev container task
         uses: devcontainers/ci@v0.3
         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
\ No newline at end of file