perf(nix): speed up Rust checks and deduplicate Quint MBT - #308

perf(nix): speed up Rust checks and deduplicate Quint MBT#308

davidabram merged 1 commit into

ref-reconcrocoder-dev/shared-context-engineering:ref-reconfrom

perf/nix-test-profile-quint-dedupcrocoder-dev/shared-context-engineering:perf/nix-test-profile-quint-dedupCopy head branch name to clipboard