From ab95a3d4140d32d3926259d8857dd1fd2f8fb19c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicolas=20=E2=80=9CNiols=E2=80=9D=20Jeannerod?= Date: Tue, 9 May 2023 14:25:50 +0000 Subject: [PATCH] If not `exit` maybe `return`? --- .github/workflows/ci.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b0702d980..f61fc969a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -80,13 +80,13 @@ jobs: run: | ## Install Topiary then report where it is and in which version. echo '::group::Install Topiary' - opam install topiary || exit 1 + opam install topiary || return 1 echo '::endgroup::' echo '::group::Where is Topiary and in which version?' printf 'Topiary is: ' - opam exec -- sh -c 'command -v topiary' || exit 1 + opam exec -- sh -c 'command -v topiary' || return 1 printf 'in version: ' - opam exec -- topiary --version || exit 1 + opam exec -- topiary --version || return 1 echo '::endgroup::' - name: Run a smoke test