Merge branch 'main' into remove-lazy-static

Author: rexmas

.github/workflows/rust.yml

@@ -22,7 +22,7 @@ jobs:
         include:
           - build: pinned
             os: ubuntu-24.04
-            rust: 1.74.0
+            rust: 1.82.0
           - build: stable
             os: ubuntu-24.04
             rust: stable
@@ -77,25 +77,5 @@ jobs:
       - name: Clean and Run tests for derive with features enabled
         if: ${{ matrix.build == 'nightly' }}
         run: cd proptest-derive && cargo clean && cargo test --features boxed_union
-      - name: Run state machine tests
-        if: ${{ matrix.build != 'pinned' }}
-        run: cd proptest-state-machine && cargo test --verbose
-
-  # State machine testing on MSRV 1.82, until the general MSRV
-  # is caught up to 1.82.0
-  state-machine:
-    name: State Machine (MSRV 1.82)
-    runs-on: ubuntu-24.04
-    steps:
-      - name: Checkout repository
-        uses: actions/checkout@v3
-        with:
-          fetch-depth: 1
-      - name: Install Rust 1.82.0
-        uses: hecrj/setup-rust-action@v1
-        with:
-          rust-version: 1.82.0
-      - name: Build state machine
-        run: cd proptest-state-machine && cargo build --verbose
       - name: Run state machine tests
         run: cd proptest-state-machine && cargo test --verbose

proptest-derive/Cargo.toml

@@ -5,7 +5,7 @@ authors = ["Mazdak Farrokhzad <[email protected]>"]
 license = "MIT OR Apache-2.0"
 readme = "README.md"
 edition = "2021"
-rust-version = "1.80"
+rust-version = "1.82"
 
 repository = "https://github.com/proptest-rs/proptest"
 documentation = "https://proptest-rs.github.io/proptest/proptest-derive/index.html"

proptest-macro/Cargo.toml

@@ -4,7 +4,7 @@ description = "Procedural macros for the proptest crate"
 version = "0.3.1"
 authors = ["The Proptest Developers"]
 edition = "2021"
-rust-version = "1.74"
+rust-version = "1.82"
 license = "MIT OR Apache-2.0"
 repository = "https://github.com/proptest-rs/proptest"
 homepage = "https://proptest-rs.github.io/proptest/proptest/index.html"

proptest/Cargo.toml

@@ -10,7 +10,7 @@ documentation = "https://docs.rs/proptest/latest/proptest/"
 keywords = ["property", "testing", "quickcheck", "fuzz", "hypothesis"]
 categories = ["development-tools::testing"]
 edition = "2021"
-rust-version = "1.80"
+rust-version = "1.82"
 exclude = ["/gen-*.sh", "/readme-*.md"]
 
 description = """

proptest/README.md

@@ -33,7 +33,7 @@ for a full list of substantial historical changes, breaking and otherwise.
 
 ### MSRV
 
-The current MSRV of this crate is 1.74.
+The current MSRV of this crate is 1.82.
 The MSRV is guaranteed to not exceed `<current stable release> - 7`, though in practice it may be lower than this - your mileage may vary.
 If we change this policy in a backwards incompatible way (e.g. changing it to `<current stable release> - 1`), this constitutes a breaking change, and would be a major version bump (e.g. 1.1 -> 2.0).