From 7b8f646bf1e34739a8d1c78c54540200ff092978 Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Sat, 22 Jul 2023 12:21:11 -0700
Subject: [PATCH] Test against newest buck2 prelude always

---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 46e32fe4c..db1b94ef5 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -81,12 +81,12 @@ jobs:
     timeout-minutes: 45
     steps:
       - uses: actions/checkout@v3
-        with:
-          submodules: true
       - uses: dtolnay/rust-toolchain@stable
         with:
           components: rust-src
       - uses: dtolnay/install-buck2@latest
+      - name: Update buck2-prelude submodule
+        run: git submodule update --init --remote --no-fetch --depth 1 --single-branch tools/buck/prelude
       - run: buck2 run demo
         continue-on-error: ${{matrix.os == 'windows'}}  # FIXME: cl.exe not found
       - run: buck2 build ...