Update CI CN image

GaloisInc · Feb 13, 2025 · c8dfed2 · c8dfed2
1 parent 76afaf0
commit c8dfed2
Showing 1 changed file with 2 additions and 2 deletions.
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/rems-project/cerberus/cn@sha256:7f999b2d3126458f364bfd177edeef3a161f0b4fd306e942e07d81311f24b325
+          image: ghcr.io/rems-project/cerberus/cn:release
           registry: ghcr.io
           options: -v ${{ github.workspace }}:/data
           # This action seems to override the docker image entrypoint, as a result
@@ -56,7 +56,7 @@ jobs:
       - name: Prove secure boot
         uses: addnab/docker-run-action@v3
         with:
-          image: ghcr.io/rems-project/cerberus/cn@sha256:7f999b2d3126458f364bfd177edeef3a161f0b4fd306e942e07d81311f24b325
+          image: ghcr.io/rems-project/cerberus/cn:release
           registry: ghcr.io
           options: -v ${{ github.workspace }}:/data
           # This action seems to override the docker image entrypoint, as a result