Revert "Update ci.yml, attempting to rename output package to 'cerber…

…us_cn'" This reverts commit 8d66069.
rems-project · Jul 24, 2024 · 77baa10 · 77baa10
1 parent 8d66069
commit 77baa10
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_cn:release
+  CERBERUS_IMAGE_ID: ghcr.io/rems-project/cerberus: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_cn:release ${{env.CERBERUS_IMAGE_ID}}
+        docker tag cerberus:release ${{env.CERBERUS_IMAGE_ID}}
 
     - name: Push the Docker image
       run: docker push ${{env.CERBERUS_IMAGE_ID}}