Skip to content

Commit 6b490a6

Browse files
authored
fix ROC env var
1 parent 53fb411 commit 6b490a6

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

.github/workflows/tests_nightly.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -40,9 +40,9 @@ jobs:
4040
brew install z3
4141
4242
- name: check if roc files are properly formatted
43-
run: ROC=./roc_nightly/roc ./ci_scripts/check_format.sh
43+
run: ROC=roc ./ci_scripts/check_format.sh
4444

45-
- run: ROC=./roc_nightly/roc ./ci_scripts/all_tests.sh
45+
- run: ROC=roc ./ci_scripts/all_tests.sh
4646

4747
- name: Checks if every folder in examples is mentioned in ./examples/index.md
4848
run: bash ./ci_scripts/check_index.sh

0 commit comments

Comments
 (0)