aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Tolnay <dtolnay@gmail.com>2024-01-24 12:04:46 -0800
committerDavid Tolnay <dtolnay@gmail.com>2024-01-24 12:04:46 -0800
commitb1a3d5706e1dbe82cb981a977f7e96a508b4a2c3 (patch)
tree49cacb35743ec0b89dda4c65d777e2c171ac1f29
parent3af293c495ec93fe86aaa19d62e6bac3b01dfe78 (diff)
downloadcxx-b1a3d5706e1dbe82cb981a977f7e96a508b4a2c3.tar.gz
Have install-buck2 action check out correct prelude commit
-rw-r--r--.github/workflows/buck2.yml4
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/buck2.yml b/.github/workflows/buck2.yml
index 9231e34b..f91ac3d3 100644
--- a/.github/workflows/buck2.yml
+++ b/.github/workflows/buck2.yml
@@ -23,8 +23,8 @@ jobs:
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
+ with:
+ prelude-submodule: tools/buck/prelude
- run: buck2 run demo
- run: buck2 build ...
- run: buck2 test ...