diff --git a/.github/workflows/buck-build-and-test.yml b/.github/workflows/buck-build-and-test.yml
index 2ee3ca73..b340cc91 100644
--- a/.github/workflows/buck-build-and-test.yml
+++ b/.github/workflows/buck-build-and-test.yml
@@ -15,6 +15,8 @@ jobs:
       - uses: actions/checkout@v4
       - uses: Swatinem/rust-cache@v2
       - uses: dtolnay/install-buck2@latest
+        with:
+          prelude-submodule: prelude
       - run: sudo apt-get update && sudo apt-get install opam
         if: matrix.os == 'ubuntu'
       - run: brew install opam