Skip to content

Commit 9bba005

Browse files
committed
CI: Fix repeat workflow
1 parent d636e78 commit 9bba005

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/common.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -96,7 +96,7 @@ jobs:
9696
- name: Repeat the one test with a fixed seed
9797
run: |
9898
failures=0
99-
for i in `seq "$REPEATS"; do
99+
for i in `seq "$REPEATS"`; do
100100
opam exec -- dune exec "$ONLY_TEST" -- -v -s "$SEED" || failures=$((failures + 1))
101101
done
102102
exit "$failures"

0 commit comments

Comments
 (0)