Switch to nextest for faster text execution, enable cargo-careful

Author: Martin Taillefer

.github/workflows/main.yml

@@ -26,14 +26,14 @@ jobs:
         with:
           enable-sccache: true
           rust-toolchain: RUST_MSRV
-          cargo-tools: CARGO_HACK_VERSION
+          cargo-tools: CARGO_NEXTEST_VERSION, CARGO_HACK_VERSION
 
       # execute
       - name: Build
         run: cargo hack build --each-feature --workspace --verbose --locked --color always
       - name: Tests
         if: success() || failure()
-        run: cargo test --verbose --workspace --all-features
+        run: cargo nextest run --verbose --workspace --all-features
       - name: Docs
         if: success() || failure()
         env:
@@ -59,14 +59,11 @@ jobs:
           enable-sccache: true
           rust-toolchain: RUST_LATEST
           rust-components: clippy, rustfmt
-          cargo-tools: CARGO_AUDIT_VERSION, CARGO_DOC2README_VERSION, CARGO_WORKSPACES_VERSION, CARGO_ENSURE_NO_DEFAULT_FEATURES_VERSION, CARGO_ENSURE_NO_CYCLIC_DEPS_VERSION, CARGO_DENY_VERSION, CARGO_SORT_VERSION
+          cargo-tools: CARGO_DOC2README_VERSION, CARGO_WORKSPACES_VERSION, CARGO_ENSURE_NO_DEFAULT_FEATURES_VERSION, CARGO_ENSURE_NO_CYCLIC_DEPS_VERSION, CARGO_DENY_VERSION, CARGO_SORT_VERSION
 
       # execute
       - name: Clippy
         run: cargo clippy --workspace --all-targets --all-features -- -D warnings
-      - name: Audit
-        if: success() || failure()
-        run: cargo audit
       - name: Source Format
         if: success() || failure()
         run: cargo fmt -- --check
@@ -161,11 +158,14 @@ jobs:
           enable-sccache: true
           rust-toolchain: RUST_NIGHTLY
           rust-components: miri
-          cargo-tools: CARGO_UDEPS_VERSION
+          cargo-tools: CARGO_UDEPS_VERSION, CARGO_CAREFUL_VERSION, CARGO_NEXTEST_VERSION
 
       # execute
       - name: Udeps
         run: cargo +${{ env.RUST_NIGHTLY }} udeps --all-features --workspace --color always
+      - name: Careful
+        if: success() || failure()
+        run: cargo +${{ env.RUST_NIGHTLY }} careful nextest run --all-features --workspace --color always --target ${{ runner.os == 'Linux' && 'x86_64-unknown-linux-gnu' || 'x86_64-pc-windows-msvc' }}
       - name: Miri
         if: success() || failure()
         run: cargo +${{ env.RUST_NIGHTLY }} miri test --all-features --workspace

README.md

@@ -128,7 +128,7 @@ We strive to deliver high-quality code and as such, we've put in place a number
   We use [`cargo-hack`](https://crates.io/crates/cargo-hack) to iterate through
   different crate feature combinations to make sure everything builds properly.
 
-- **Testing**. We run `cargo test --all-features` to run every normal test and documentation test in the repo.
+- **Testing**. We run `cargo nextest --all-features` to run every normal test and documentation test in the repo.
 
 - **Code Coverage**. We calculate code coverage for the whole repo using [
   `cargo-llvm-cov`](https://crates.io/crates/cargo-llvm-cov).
@@ -148,10 +148,8 @@ We strive to deliver high-quality code and as such, we've put in place a number
 - **Cargo.toml Formatting**. We use [`cargo-sort`](https://crates.io/crates/cargo-sort) to keep Cargo.toml
   files in a consistent format and layout.
 
-- **Dependency Auditing**. We use [`cargo-audit`](https://crates.io/crates/cargo-audit) to be alerted of
-  any security vulnerabilities in our dependencies.
-
-- **Unsafe Verification**. We use Miri to verify that our unsafe code doesn't induce undefined behaviors.
+- **Unsafe Verification**. We use Miri and [`cargo-careful`](https://crates.io/crates/cargo-careful) to verify that our
+  unsafe code doesn't induce undefined behaviors.
 
 - **External Type Exposure**. We use [`cargo-external-types`](https://crates.io/crates/cargo-external-types) to track
   which external types our crates depend on. Exposing a 3P type from a crate creates a coupling between the crate and

constants.toml

@@ -10,7 +10,7 @@ RUST_NIGHTLY = "nightly-2025-12-20"                 # used for coverage and exte
 RUST_NIGHTLY_EXTERNAL_TYPES = "nightly-2025-10-18"  # used for external type exposure checks; update alongside updates to cargo-check-external-types
 
 # Cargo tools
-CARGO_AUDIT_VERSION = "0.22.0"
+CARGO_CAREFUL_VERSION = "0.4.9"
 CARGO_CHECK_EXTERNAL_TYPES_VERSION = "0.4.0"
 CARGO_DENY_VERSION = "0.18.9"
 CARGO_DOC2README_VERSION = "0.6.3"
@@ -19,6 +19,7 @@ CARGO_ENSURE_NO_DEFAULT_FEATURES_VERSION = "1.0.0"
 CARGO_HACK_VERSION = "0.6.39"
 CARGO_LLVM_COV_VERSION = "0.6.21"
 CARGO_MUTANTS_VERSION = "26.0.0"
+CARGO_NEXTEST_VERSION = "0.9.115"
 CARGO_SEMVER_CHECKS_VERSION = "0.45.0"
 CARGO_SORT_VERSION = "2.0.2"
 CARGO_UDEPS_VERSION = "0.1.60"