diff --git a/release-non-auto-checks/coverity b/release-non-auto-checks/coverity deleted file mode 100644 index e69de29..0000000