ci: update devcontainer cache

MartinBernstorff · Oct 26, 2023 · 86af8b9 · 86af8b9
1 parent d982d45
commit 86af8b9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -7,7 +7,7 @@
         "context": "..",
         // Update the 'dockerFile' property if you aren't using the standard 'Dockerfile' filename.
         "dockerfile": "../Dockerfile",
-        "cacheFrom": "ghcr.io/MartinBernstorff/FunctionalPython:latest"
+        "cacheFrom": "ghcr.io/martinbernstorff/functionalpython:latest"
     },
     // "features": {},
     "customizations": {