diff --git a/.github/workflows/buck-build-and-test.yml b/.github/workflows/buck-build-and-test.yml index 2ee3ca73..253416fd 100644 --- a/.github/workflows/buck-build-and-test.yml +++ b/.github/workflows/buck-build-and-test.yml @@ -13,8 +13,15 @@ jobs: os: [ubuntu, macos] steps: - uses: actions/checkout@v4 + - run: | + ls prelude + if [ -d prelude ]; then + rm -rf prelude + fi - 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 @@ -25,5 +32,8 @@ jobs: - run: ./ocaml-setup.sh - run: cargo install --git https://github.com/facebookincubator/reindeer.git reindeer --force - run: reindeer --third-party-dir shim/third-party/rust buckify + # - run: |- + # git submodule add https://github.com/facebook/buck2-prelude.git prelude + # git submodule update --init --depth 1 - run: buck2 build shim//third-party/... -v 2 - run: buck2 build root//... -v 2