Closed bernhardmgruber closed 1 year ago
Check tests and examples in individual jobs to speed up CI.
Merging #720 (09c7938) into develop (da10cd8) will increase coverage by 0.00%. The diff coverage is n/a.
0.00%
n/a
Check tests and examples in individual jobs to speed up CI.