From: Marc Fehling <mafehling.git@gmail.com>
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