Daniel Hahler 0fd1f3038c ci: move coverage reporting to shared script		2019-06-06 16:31:39 +02:00
..
release.minor.rst	Fix hostname	2018-08-28 14:45:04 -07:00
release.patch.rst	Fix hostname	2018-08-28 14:45:04 -07:00
release.py	pre-commit run fix-encoding-pragma --all-files	2019-06-03 12:08:01 -03:00
report-coverage.sh	ci: move coverage reporting to shared script	2019-06-06 16:31:39 +02:00
retry.cmd	Upload code coverage from azure	2019-02-26 16:56:25 +01:00