Update tests.yml
trying to figure out the CI issue
@@ -57,6 +57,9 @@ jobs:
- name: "Build"
run: cargo build --release
+ - name: "Setup for tests"
+ run: mkdir -p out/
+
- name: "Unit tests"
run: cargo test --release
@@ -79,9 +82,6 @@ jobs:
- name: "Build"
run: cargo build --release
- - name: "Setup tests"
- run: mkdir -p out/
-
- name: "Synthesize rational rules"
run: |
cargo rational --iters 2 --variables 3 --use-smt --do-final-run --outfile out/rat.json
