remove docker:// prefix

cryspen · Feb 5, 2025 · ee23bc5 · ee23bc5
1 parent e030134
commit ee23bc5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docker-c.yml b/.github/workflows/docker-c.yml
@@ -43,7 +43,7 @@ jobs:
   test-extract:
     runs-on: ubuntu-latest
     container:
-      image: docker://${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:${{ env.VERSION_TAG }}
+      image: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:${{ env.VERSION_TAG }}
     defaults:
       run:
         working-directory: libcrux-ml-kem