ci: fix

alloy-rs · Dec 31, 2024 · 9b4a95d · 9b4a95d
1 parent 4b26b9c
commit 9b4a95d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -86,7 +86,7 @@ jobs:
       - uses: Swatinem/rust-cache@v2
         with:
           cache-on-failure: true
-      - run: cargo +stable clippy --workspace --all-targets --all-features
+      - run: cargo clippy --workspace --all-targets --all-features
         env:
           RUSTFLAGS: -Dwarnings
 

diff --git a/src/nibbles.rs b/src/nibbles.rs
@@ -933,6 +933,7 @@ mod tests {
 
         proptest::proptest! {
             #[test]
+            #[cfg_attr(miri, ignore = "no proptest")]
             fn pack_unpack_roundtrip(input in vec(any::<u8>(), 0..64)) {
                 let nibbles = Nibbles::unpack(&input);
                 prop_assert!(valid_nibbles(&nibbles));