diff --git a/jenkins/test_edge.sh b/jenkins/test_edge.sh index 71405d663f..51d24bc6f6 100755 --- a/jenkins/test_edge.sh +++ b/jenkins/test_edge.sh @@ -3,6 +3,8 @@ set -e set -x +source base.sh + github_mark_failed_on_exit github_status state:pending diff --git a/jenkins/test_lms.sh b/jenkins/test_lms.sh index 69fbf50dfa..13d7ffb885 100755 --- a/jenkins/test_lms.sh +++ b/jenkins/test_lms.sh @@ -3,7 +3,7 @@ set -e set -x -. base.sh +source base.sh github_mark_failed_on_exit github_status state:pending