fix docker file -- $HOME is known only at runtime

2026-04-03 03:00:17 -04:00 · 2025-05-11 18:02:41 +01:00
parent 3e750f039d
commit cb99c23b38
2 changed files with 4 additions and 4 deletions
--- a/.github/workflows/test-sp1-docker.yml
+++ b/.github/workflows/test-sp1-docker.yml
@@ -29,5 +29,5 @@ jobs:
      - name: Build ere-builder-sp1 image
        run: |
          docker build \
-            --tag ere-builder-succinct:latest \
+            --tag ere-builder-sp1:latest \
            --file docker/sp1/Dockerfile .