Configure coverage

Last modified: 19 May 2021

Required plugin: Coverage (bundled)