From db5252a81b1b6950443996b0ed7359d79fd68c70 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 29 Jul 2021 11:31:39 -0700
Subject: [PATCH] add dummy

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/test-regressions-coverage.yml | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 scripts/test-regressions-coverage.yml

diff --git a/scripts/test-regressions-coverage.yml b/scripts/test-regressions-coverage.yml
new file mode 100644
index 000000000..8b1378917
--- /dev/null
+++ b/scripts/test-regressions-coverage.yml
@@ -0,0 +1 @@
+