From aa38cc4f04379969b3acb350e9258ba119eb059c Mon Sep 17 00:00:00 2001 From: Nikola Date: Wed, 17 Jul 2024 16:05:26 +0200 Subject: [PATCH] change docker image name --- .github/workflows/deb.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/deb.yml b/.github/workflows/deb.yml index 73a51891..aa306186 100644 --- a/.github/workflows/deb.yml +++ b/.github/workflows/deb.yml @@ -47,7 +47,7 @@ jobs: - name: Extract deb from Docker image run: | - container_id=$(docker create ${{ env.DOCKER_REGISTRY }}/${{ env.DOCKER_IMAGE_BASE }}:pr-3) + container_id=$(docker create ${{ env.DOCKER_REGISTRY }}/${{ env.DOCKER_IMAGE_BASE }}) docker cp $container_id:/usr/bin/stone-prover.deb /tmp/stone-prover.deb docker rm $container_id