Add script with coverage steps from the CI
The following discussion from !255 (merged) should be addressed:
-
@esteve started a discussion: Perhaps it'd be useful to put these in a script so that contributors and the CI use the same steps.
The following discussion from !255 (merged) should be addressed:
Perhaps it'd be useful to put these in a script so that contributors and the CI use the same steps.