Commit ace202e17e7f41aa3347618426b334be3d9f0e17

Ebrahim Byagowi 2020-04-28T19:38:04

[ci] remove trigger-coverity.sh hopefully not needed, we are submitting it in a bot