Open Guite opened 7 years ago
dup #2927
not a dup; I splitted them and assigned them to different milestones.
It seems that most tools can be combined with Travis for processing the coverage information:
@javiereguiluz said:
calculating the coverage is incredibly slow, so given that it’s not important for us to know the coverage for each pull request, we use Travis cron jobs for that (https://docs.travis-ci.com/user/cron-jobs/)