diff --git a/scripts/regression-test.yml b/scripts/regression-test.yml index 24fe6b74d..b431f1548 100644 --- a/scripts/regression-test.yml +++ b/scripts/regression-test.yml @@ -1,3 +1,3 @@ -- steps - - script: git clone https://github.com/z3prover/z3test z3test - - script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2 +steps: +- script: git clone https://github.com/z3prover/z3test z3test +- script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2