From: Daniel Arndt <arndtd@ornl.gov>
Date: Tue, 26 Sep 2023 17:31:08 +0000 (-0400)
Subject: Don't use BuildKit for docker CI
X-Git-Tag: relicensing~467^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ae149eb152183f02e5757fe760988e5e612e32e0;p=dealii.git

Don't use BuildKit for docker CI
---

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 55fd8b6e5b..a4fcd78ae9 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -26,6 +26,7 @@ jobs:
 
       - name: Set up Docker Buildx
         uses: docker/setup-buildx-action@v3
+        driver: docker driver
 
       - name: Login to DockerHub
         uses: docker/login-action@v3