From 7745d16a49b21bf48319ddb2ac1b2f8691492399 Mon Sep 17 00:00:00 2001
From: Christopher Pulte <cp526@cam.ac.uk>
Date: Wed, 24 Jul 2024 16:16:14 +0100
Subject: [PATCH] Update ci.yml. Another attempt to rename 'cerberus' package
 to 'cn'

---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 16c20f22e..c380a181a 100644
--- 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}}