From 5e2339ab62bab28b7908b4e07cc236587fba8053 Mon Sep 17 00:00:00 2001
From: Michael Greenberg <michael.greenberg@stevens.edu>
Date: Thu, 19 Oct 2023 09:56:43 -0400
Subject: [PATCH] try using parallels instead of virtualbox

---
 .github/workflows/vagrant.yaml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/vagrant.yaml b/.github/workflows/vagrant.yaml
index 0316c69b..ee478eda 100644
--- a/.github/workflows/vagrant.yaml
+++ b/.github/workflows/vagrant.yaml
@@ -23,4 +23,6 @@ jobs:
       - uses: actions/checkout@v3
 
       - name: Start vagrant box
-        run: vagrant up ${{ matrix.vagrant_target }}
+        run: |
+          vagrant plugin install vagrant-parallels
+          vagrant up --provider parallels ${{ matrix.vagrant_target }}