diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 24691ae09593fca0c00728b6c108d021e0fa5ed1..23da89a2b37f0c503f1b9b389611a813eb55c6fa 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -90,7 +90,7 @@ jobs: cd $GITHUB_WORKSPACE/mo-tester mv log head-log mv report head-report - if [ "$(ps -ef | grep 'mo-server' | grep -v "grep" | wc -l)" -gt 0 ]; then pkill mo-server; else echo 'current mo-server has already crashed'; echo "Job-Status=1" >> $GITHUB_ENV; exit 1; fi + if [ "$(ps -ef | grep 'mo-server' | grep -v "grep" | wc -l)" -gt 0 ]; then pkill mo-server; else echo 'current mo-server has already crashed'; fi - uses: actions/checkout@v2 @@ -232,7 +232,7 @@ jobs: cd $GITHUB_WORKSPACE/mo-tester mv log head-log mv report head-report - if [ "$(ps -ef | grep 'mo-server' | grep -v "grep" | wc -l)" -gt 0 ]; then pkill mo-server; else echo 'current mo-server has already crashed'; echo "Job-Status=1" >> $GITHUB_ENV; exit 1; fi + if [ "$(ps -ef | grep 'mo-server' | grep -v "grep" | wc -l)" -gt 0 ]; then pkill mo-server; else echo 'current mo-server has already crashed'; fi - uses: actions/checkout@v2