Post

Property tests become much more useful in CI when the seed is logged and accepted as an input: a failure then replays exactly instead of being a flaky red build. Shrinking plus a pinned regression seed covers most of the rest.