Closed pavel-kirienko closed 5 months ago
The Windows pipelines have been behaving badly lately; this is an attempt to improve them.
coverage: 94.808% (+0.05%) from 94.754% when pulling e9940861520d576b5a58a80376e0f681bc819aec on ci into d02f84e3d1f77ee32c8e5a7d27cfa5d73851a4c0 on master.
The Windows pipelines have been behaving badly lately; this is an attempt to improve them.