From 0d1ea6a4b745b35f73e4d434169a899eb259b829 Mon Sep 17 00:00:00 2001
From: Sharif Elgamal <selgamal@google.com>
Date: Fri, 18 Sep 2020 09:52:04 -0700
Subject: [PATCH] more docker stuff

---
 .github/workflows/pr.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 8fa0c20a41..fc35ce2b4d 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -207,8 +207,7 @@ jobs:
         run: |
           brew install docker-machine docker
           docker --version
-          docker-machine create --driver virtualbox default
-          eval $(docker-machine env default)
+          brew services start docker-machine
       - name: Info
         shell: bash
         run: |