From 7832d2ad7fe08c0d16e2d5d0633e6d181f9ed4de Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 15 Dec 2023 10:00:40 +0000
Subject: [PATCH] Try vmactions to compare performance

---
 .github/workflows/bsd.yaml | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/bsd.yaml b/.github/workflows/bsd.yaml
index 052ab19d88ab..9d7750f15240 100644
--- a/.github/workflows/bsd.yaml
+++ b/.github/workflows/bsd.yaml
@@ -26,16 +26,15 @@ jobs:
           echo "CCACHE_BASEDIR=$PWD" >> $GITHUB_ENV
           echo "CCACHE_DIR=$PWD/.ccache" >> $GITHUB_ENV
       - name: Build and Test
-        uses: cross-platform-actions/action@v0.21.1
+        uses: vmactions/freebsd-vm@v1
         with:
-          operating_system: freebsd
-          version: '13.2'
-          hypervisor: qemu
-          run: |
+          release: 13.2
+          prepare:
             echo "Fetch dependencies"
-            sudo pkg install -y bash gmake git www/p5-libwww python python3 patch flex bison ccache parallel cvc5 z3
+            pkg install -y bash gmake git www/p5-libwww python python3 patch flex bison ccache parallel cvc5 z3
             echo "Fetch JBMC dependencies"
-            sudo pkg install -y openjdk8 wget maven
+            pkg install -y openjdk8 wget maven
+          run: |
             echo "Zero ccache stats and limit in size"
             setenv CCACHE_BASEDIR $PWD
             setenv CCACHE_DIR $PWD/.ccache