Deploy output of coverage tests in devel branch
This should copy the output of coverage tests to the web page. I don't know of a way to test it without merging though.
This should copy the output of coverage tests to the web page. I don't know of a way to test it without merging though.