Merge pull request #5382 from libgit2/pks/azure-coverity
azure: fix Coverity pipeline
Showing
azure-pipelines/coverity-build.sh
deleted
100755 → 0
azure-pipelines/coverity-publish.sh
deleted
100755 → 0
azure-pipelines/coverity.sh
0 → 100755
Please
register
or
sign in
to comment