fix push of codegen images

ika-rwth-aachen · Jul 29, 2024 · 05767b6 · 05767b6
1 parent ba7b255
commit 05767b6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/codegen.yml b/.github/workflows/codegen.yml
@@ -49,8 +49,10 @@ jobs:
     - name: Push Docker Images
       if: github.ref == format('refs/heads/{0}', github.event.repository.default_branch)
       run: |
+        docker load --input /tmp/asn1c-image.tar
         docker tag asn1c:ci ghcr.io/${{ github.repository }}:asn1c
         docker push ghcr.io/${{ github.repository }}:asn1c
+        docker load --input /tmp/rgen-image.tar
         docker tag rgen:ci ghcr.io/${{ github.repository }}:rgen
         docker push ghcr.io/${{ github.repository }}:rgen