Skip to content

Commit 64cee20

Browse files
authored
Update .github/scripts/main/main.sh
1 parent 35111f8 commit 64cee20

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/scripts/main/main.sh

+1-1
Original file line numberDiff line numberDiff line change
@@ -200,7 +200,7 @@ if [ "$OPAM_DEPENDS" = "1" ]; then
200200

201201
if [ -n "$DEPENDS_ERRORS" ]; then
202202
echo -e "\e[31mErrors detected in plugins $DEPENDS_ERRORS\e[0m";
203-
echo 1
203+
exit 1
204204
fi
205205
(set +x ; echo -en "::endgroup::depends\r") 2>/dev/null
206206
fi

0 commit comments

Comments
 (0)