Skip to content

Makefile/Coverage: remove find corrupted files

Valentin Chaboche requested to merge nomadic-labs/tezos:vchaboche@make-remove-find-corrupted into master

Context

We had corrupted coverage files in the past (#1946 (closed), we deactivated a test for that reason) so we added manual checks to try to find the corrupted coverage files and remove them => corrupted files makes the coverage report fail.

However:

  • Firstly: we are not supposed to have corrupted coverage files again (and we want to know if it's the case)
  • Secondly: this check is not enough anyway, corrupted files could have a size > 0

Manually testing the MR

Check the CI

Checklist

  • Select suitable reviewers using the Reviewers field below.
  • Select as Assignee the next person who should take action on that MR

Merge request reports