chore(ci): pin proptest to 1.8.0 on 1.75.0 MSRV#2075
Merged
oleonardolima merged 7 commits intobitcoindevkit:release/chain-0.23.xfrom Nov 22, 2025
Merged
Commits
Commits on Nov 21, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed