diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index f44f4f85ab..2ce03926e1 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -64,7 +64,7 @@ jobs: - name: Build and push Docker image to Docker Hub (no solvers) uses: docker/build-push-action@v5 - if: ${{ matrix.build-args }} == "No solvers" + if: matrix.build-args == 'No solvers' with: context: . file: scripts/Dockerfile @@ -74,7 +74,7 @@ jobs: - name: Build and push Docker image to Docker Hub (with solvers) uses: docker/build-push-action@v5 - if: ${{ matrix.build-args }} != "No solvers" + if: matrix.build-args != 'No solvers' with: context: . file: scripts/Dockerfile