From 4947fe31424198afc8b976bd28b8fc1da1b686b1 Mon Sep 17 00:00:00 2001 From: project-repo Date: Sun, 16 Apr 2023 12:52:17 +0200 Subject: [PATCH] Adjust non-auto checks --- release-non-auto-checks/coverity | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 release-non-auto-checks/coverity diff --git a/release-non-auto-checks/coverity b/release-non-auto-checks/coverity deleted file mode 100644 index e69de29..0000000