diff --git a/scripts/test-regressions-coverage.yaml b/scripts/test-regressions-coverage.yaml
deleted file mode 100644
index 363ea2c19..000000000
--- a/scripts/test-regressions-coverage.yaml
+++ /dev/null
@@ -1,4 +0,0 @@
-steps:
-- script: git clone https://github.com/z3prover/z3test z3test
-- script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2    
-- script: python z3test/scripts/test_coverage_tests.py build/install z3test/coverage/cpp    
diff --git a/scripts/test-regressions-coverage.yml b/scripts/test-regressions-coverage.yml
index 8b1378917..363ea2c19 100644
--- a/scripts/test-regressions-coverage.yml
+++ b/scripts/test-regressions-coverage.yml
@@ -1 +1,4 @@
-
+steps:
+- script: git clone https://github.com/z3prover/z3test z3test
+- script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2    
+- script: python z3test/scripts/test_coverage_tests.py build/install z3test/coverage/cpp