]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Don't use BuildKit for docker CI 16045/head
authorDaniel Arndt <arndtd@ornl.gov>
Tue, 26 Sep 2023 17:31:08 +0000 (13:31 -0400)
committerDaniel Arndt <arndtd@ornl.gov>
Tue, 26 Sep 2023 17:31:08 +0000 (13:31 -0400)
.github/workflows/docker.yml

index 55fd8b6e5b54ffa79dab67258cdf2549fd957e09..a4fcd78ae9f2c0034586bbb28c2cd024e93c1217 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.