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