Try vmactions to compare performance

Author: tautschnig

Diff for: .github/workflows/bsd.yaml

@@ -26,16 +26,14 @@ jobs:
           echo "CCACHE_BASEDIR=$PWD" >> $GITHUB_ENV
           echo "CCACHE_DIR=$PWD/.ccache" >> $GITHUB_ENV
       - name: Build and Test
-        uses: cross-platform-actions/[email protected]
+        uses: vmactions/freebsd-vm@v1
         with:
-          operating_system: freebsd
-          version: '13.2'
-          hypervisor: qemu
+          release: 13.2
           run: |
             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
             echo "Zero ccache stats and limit in size"
             setenv CCACHE_BASEDIR $PWD
             setenv CCACHE_DIR $PWD/.ccache