From: Marc Fehling Date: Thu, 28 Sep 2023 21:04:19 +0000 (-0600) Subject: Docker: Use the default driver again. X-Git-Tag: relicensing~457^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c039614c07f2d161259601577e38254d9a34f2fc;p=dealii.git Docker: Use the default driver again. --- diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index dca78dab4a..55fd8b6e5b 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -26,8 +26,6 @@ jobs: - name: Set up Docker Buildx uses: docker/setup-buildx-action@v3 - with: - driver: docker - name: Login to DockerHub uses: docker/login-action@v3