Change image name

2024-08-15 21:09:31 +02:00
parent 40d7843f7d
commit 93be5247aa
1 changed files with 2 additions and 2 deletions
@@ -2,7 +2,7 @@ services:
  toolchain:
    build:
      context: .
-    image: schihei/toolchain:latest
+    image: registry.gitlab.h3132.de/risc-v/toolchain:2024-08-15
    volumes:
      - "./workspace:/root/workspace"
    ports: