885 debug docker failure (#896)

mighty-gerbils · Sep 21, 2023 · 6151f98 · 6151f98
1 parent 57c9995
commit 6151f98
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
@@ -23,7 +23,7 @@ jobs:
     - name: List of all Github Actions env vars
       run: env
     - name: Build the Docker image
-      run: make -C docker ${{ matrix.docker-image }} REPO=${{ github.repository }} BRANCH=${{ github.head_ref }}
+      run: make -C docker ${{ matrix.docker-image }} REPO="${{ github.repository }}" BRANCH="${{ github.head_ref }}"
     - name: Push to Docker Hub on Pushes to master
       run: |
         docker login -u gerbil -p ${{ secrets.DOCKER_TOKEN }}

diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -48,7 +48,7 @@ ARG repo
 ARG branch
 ARG configure_args
 ENV GERBIL_GCC=g++
-RUN  cd /opt && eval git clone -b ${branch} https://github.com/${repo} gerbil-src \
+RUN  cd /opt && eval git clone -b "${branch}" "https://github.com/${repo}" gerbil-src \
     && cd /opt/gerbil-src && eval ./configure --prefix=/opt/gerbil --enable-shared=no ${configure_args}
 
 RUN cd /opt/gerbil-src && make && make install