From 19c5c1fe17637977fb32db751c8caab0a5d6cdaa Mon Sep 17 00:00:00 2001
From: Ben Davis <ben@galois.com>
Date: Wed, 23 Oct 2024 10:40:29 -0400
Subject: [PATCH] CI: use docker buildx build

Fixes the warning:

```
DEPRECATED: The legacy builder is deprecated and will be removed in a future release.
            Install the buildx component to build images with BuildKit:
            https://docs.docker.com/go/buildx/
```
---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 0887d628..938b7b3e 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -43,7 +43,7 @@ jobs:
 
       - name: Build Docker Image
         run: |
-          docker build . \
+          docker buildx build . \
             --cache-from artifactory.galois.com:5025/pate/pate:${GITHUB_REF//\//\-} \
             --cache-from artifactory.galois.com:5025/pate/pate:refs-heads-master \
             -t pate