Configure coverage

Last modified: 10 August 2022

Required plugin: Coverage (bundled)