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