Update ci.yml. Another attempt to rename 'cerberus' package to 'cn'

rems-project · Jul 24, 2024 · 7745d16 · 7745d16
1 parent 77baa10
commit 7745d16
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -8,7 +8,7 @@ on:
       - cheri-tests
 
 env:
-  CERBERUS_IMAGE_ID: ghcr.io/rems-project/cerberus:release
+  CERBERUS_IMAGE_ID: ghcr.io/rems-project/cerberus/cn:release
 
 # cancel in-progress job when a new push is performed
 concurrency:
@@ -166,7 +166,7 @@ jobs:
       run: |
         echo "Building ${{env.CERBERUS_IMAGE_ID}}"
         make -f Makefile_docker release
-        docker tag cerberus:release ${{env.CERBERUS_IMAGE_ID}}
+        docker tag cn:release ${{env.CERBERUS_IMAGE_ID}}
 
     - name: Push the Docker image
       run: docker push ${{env.CERBERUS_IMAGE_ID}}