Merge pull request #71 from GaloisInc/bugfix-update-image-paths

Update image path to conform with the new naming convention
GaloisInc · Jun 17, 2024 · 8e0db30 · 8e0db30
2 parents fed6cca + 3d5204d
commit 8e0db30
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/proofs.yml b/.github/workflows/proofs.yml
@@ -21,7 +21,7 @@ jobs:
       - name: Prove MPS Components
         uses: addnab/docker-run-action@v3
         with:
-          image: ghcr.io/galoisinc/cerberus:release
+          image: ghcr.io/galoisinc/verse-opensut/cerberus:release
           registry: ghcr.io
           username: ${{ github.actor }}
           password: ${{ secrets.VERSE_OPENSUT_ACCESS_TOKEN }}