Save coverage data to a file

Last modified: 01 August 2022

Required plugin: Coverage (bundled)