chore(ci): pin `proptest` to `1.8.0` on `1.75.0` MSRV

diff --git a/.github/workflows/cont_integration.yml b/.github/workflows/cont_integration.yml
index d6e5d9ef62dd86385b0d0a77b2555a77073fa539..9014caf0b9d5d171ce4263897a45e7e7dabe1379 100644 (file)
--- 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