From bb1af9d6bf51d629736334eaa4714a9bc0e1f24c Mon Sep 17 00:00:00 2001
From: Pierre Donat-Bouillud <pierre.donat.bouillud@gmail.com>
Date: Mon, 13 Jan 2025 22:28:36 -0500
Subject: [PATCH] Caching of the Docker image from the devcontainer

---
 .github/workflows/devcontainer.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/devcontainer.yml b/.github/workflows/devcontainer.yml
index f45bd7e2..be951b90 100644
--- a/.github/workflows/devcontainer.yml
+++ b/.github/workflows/devcontainer.yml
@@ -14,8 +14,17 @@ jobs:
       - name: Checkout (GitHub)
         uses: actions/checkout@v3
 
+      - name: Login to GitHub Container Registry
+        uses: docker/login-action@v2 
+        with:
+          registry: ghcr.io
+          username: ${{ github.repository_owner }}
+          password: ${{ secrets.GITHUB_TOKEN }}
+    
+      # See https://github.com/devcontainers/ci/blob/main/docs/github-action.md
       - name: Build and run dev container task
         uses: devcontainers/ci@v0.3
         with:
+          imageName: ghcr.io/PRL-PRG/r-compile-server
           # Change this to be your CI task/script
           runCmd: mvn --batch-mode --update-snapshots test
\ No newline at end of file