Skip to content

CI: eight mutant shards, and a 30-minute timeout on each - #215

Merged
don-petry merged 2 commits into
mainfrom
ci/seventh-shard
Oct 20, 2026
Merged

CI: eight mutant shards, and a 30-minute timeout on each#215
don-petry merged 2 commits into
mainfrom
ci/seventh-shard

CI: eight shards, and a 30-minute timeout on each

765f08d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar