Closed bernhardmgruber closed 1 year ago
This is a bit faster than running with 4 build jobs.
Merging #686 (45a5a61) into develop (6496153) will not change coverage. The diff coverage is n/a.
n/a
This is a bit faster than running with 4 build jobs.