Commit ea6216336b3c96bc2c13c93b41db1afe046c920c
2023-10-28T00:43:17
build: Add a coverage regex to the CI job This is needed so that gitlab can know where to extract the coverage percentage from in the output, to be able to track and report it.