Closed mloskot closed 11 months ago
All CI jobs are green!
For the code coverage issue, you can cherry-pick 72d460cb53c53a81ea5edf73ecc0a1d0f921e95a.
@sdebionne I ignored the coverage here, I think, it can wait until your PR #669 is merged or you prefer me to cherry pick it into develop right now?
Waiting for PR #669 is fine, actually I did not noticed that this one was already merged!
Switch to containers.