Skip to content

ci(quint): run spec verification without recompiling Rust MBT - #309

Merged
davidabram merged 1 commit into
perf/nix-test-profile-quint-dedupfrom
perf/ci-stack-1-quint-spec-only
Oct 11, 2026
Merged

ci(quint): run spec verification without recompiling Rust MBT#309
davidabram merged 1 commit into
perf/nix-test-profile-quint-dedupfrom
perf/ci-stack-1-quint-spec-only

ci(quint): avoid rebuilding MBT in spec-only workflow

e132a37
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar