diff --git a/.github/workflows/mac_os.yml b/.github/workflows/mac_os.yml
index b04b51b..3124b35 100644
--- a/.github/workflows/mac_os.yml
+++ b/.github/workflows/mac_os.yml
@@ -35,5 +35,5 @@
           brew update
           brew install riscv-gnu-toolchain --with-multilib
           cd "${GITHUB_WORKSPACE}"
-          make -j2 setup
-          make -j2 test
+          LIBTOCK_PLATFORM=hifive1 cargo build -p libtock_runtime \
+            --target=riscv32imac-unknown-none-elf