From 85290a311441977897a60da8fc559e7485e2513b Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Sun, 14 Apr 2024 10:36:20 -0700 Subject: [PATCH] For xargo, build xargo-check binary only This is the one depended on by Miri. --- .github/workflows/xargo.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/xargo.yml b/.github/workflows/xargo.yml index a310d36..eb245dd 100644 --- a/.github/workflows/xargo.yml +++ b/.github/workflows/xargo.yml @@ -11,6 +11,7 @@ jobs: uses: ./.github/workflows/build.yml with: crate: xargo + bin: xargo-check permissions: contents: write secrets: inherit