Try vmactions to compare performance

diffblue · Dec 15, 2023 · 7832d2a · 7832d2a
1 parent 0af8b09
commit 7832d2a
Showing 1 changed file with 6 additions and 7 deletions.
diff --git 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/[email protected]
+        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