Bruno Oliveira 1a61265b1e Publish GitHub release notes after deployment ...

Fix #2933

2019-08-12 10:18:43 -03:00

..

publish_gh_release_notes.py

Publish GitHub release notes after deployment

2019-08-12 10:18:43 -03: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