From d997a290a6b6b35705b0d0af60c08530e1aa886a Mon Sep 17 00:00:00 2001 From: "Brian L. Troutwine" Date: Tue, 4 Feb 2025 17:41:12 -0800 Subject: [PATCH] Add --locked to test/check in CI workflow (#1234) Signed-off-by: Brian L. Troutwine --- .github/workflows/ci.yml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3cd1a6f00..14cd5681e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -19,7 +19,7 @@ jobs: protobuf: true fuse: true components: "" - command: cargo check --all-features + command: cargo check --locked --all-features - tool: fmt protobuf: true fuse: true @@ -74,10 +74,9 @@ jobs: uses: ./.github/actions/install-protobuf - name: Install FUSE uses: ./.github/actions/install-fuse - - run: cargo test -p sheepdog + - run: cargo test --locked -p sheepdog timeout-minutes: 30 - kani: name: Kani Proofs runs-on: ubuntu-latest