Skip to content

Keep completed results when --fail-fast aborts a run - #4744

Merged
feliperodri merged 7 commits into
model-checking:mainfrom
ivmat:fix-fail-fast-collect
Aug 26, 2026
Merged

Keep completed results when --fail-fast aborts a run#4744
feliperodri merged 7 commits into
model-checking:mainfrom
ivmat:fix-fail-fast-collect

Make a failed export validation fail the fail-fast test

bc25cdf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Aug 25, 2026 in 11s