summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorkpcyrd <git@rxv.cc>2023-09-28 16:49:24 +0200
committerJacob Hoffman-Andrews <github@hoffman-andrews.com>2023-09-28 15:19:17 -0700
commit6c24d4829e1d596ce03e6097145e023be29acf78 (patch)
treec527947ff92eb107a79692e7f5d0be49036a0f6b /.github
parent4e9e189b8f0e48bf206aec811be9f933831410e4 (diff)
Add --locked in CI and Makefile
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/test.yaml6
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
index 1727c29..95eda46 100644
--- a/.github/workflows/test.yaml
+++ b/.github/workflows/test.yaml
@@ -152,7 +152,7 @@ jobs:
uses: dtolnay/rust-toolchain@nightly
- name: cargo test (debug; all features; -Z minimal-versions)
- run: cargo -Z minimal-versions test --all-features
+ run: cargo -Z minimal-versions test --all-features --locked
format:
name: Format
@@ -190,7 +190,7 @@ jobs:
# (below) will have a new lint that we want to suppress.
# If we suppress (e.g. #![allow(clippy::arc_with_non_send_sync)]),
# we would get an unknown-lint error from older clippy versions.
- run: cargo clippy --workspace -- -D warnings -A unknown-lints
+ run: cargo clippy --locked --workspace -- -D warnings -A unknown-lints
clippy-nightly-optional:
name: Clippy nightly (optional)
@@ -205,7 +205,7 @@ jobs:
with:
components: clippy
- name: Check clippy
- run: cargo clippy --workspace -- -D warnings
+ run: cargo clippy --locked --workspace -- -D warnings
clang-tidy:
name: Clang Tidy