From bed41fa22b4125696a1cf3802a84098845e1fdac Mon Sep 17 00:00:00 2001 From: Leonardo Lima Date: Fri, 21 Nov 2025 16:11:36 -0300 Subject: [PATCH] chore(ci): pin `proptest` to `1.8.0` on `1.75.0` MSRV --- .github/workflows/cont_integration.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/cont_integration.yml b/.github/workflows/cont_integration.yml index d6e5d9ef..9014caf0 100644 --- a/.github/workflows/cont_integration.yml +++ b/.github/workflows/cont_integration.yml @@ -57,6 +57,7 @@ jobs: cargo update -p rayon --precise "1.10.0" cargo update -p rayon-core --precise "1.12.1" cargo update -p time --precise "0.3.41" + cargo update -p proptest --precise "1.8.0" - name: Pin dependencies for MSRV if: matrix.rust.version == '1.63.0' run: ./ci/pin-msrv.sh -- 2.49.0