2 Commits

Author	SHA1	Message	Date
Bruno Oliveira	de8fdab7a9	Change report-coverage.sh in attempt to fix Azure ... Recently sometimes Azure has failed with: ++ curl -s https://codecov.io/bash bash: /dev/fd/63: No such file or directory This attempts to fix this by modifying report-coverage.sh slightly.	2019-09-21 16:02:48 -03:00
Daniel Hahler	0fd1f3038c	ci: move coverage reporting to shared script	2019-06-06 16:31:39 +02:00