mirror of
https://gitlab.freedesktop.org/NetworkManager/NetworkManager
synced 2024-10-14 12:05:03 +00:00
contrib/release: print better URL for gitlab-ci pipelines
This commit is contained in:
parent
668c90dbb8
commit
62141eb938
|
@ -377,7 +377,7 @@ fi
|
||||||
|
|
||||||
if [ $CHECK_GITLAB = 1 ]; then
|
if [ $CHECK_GITLAB = 1 ]; then
|
||||||
if ! check_gitlab_pipeline "$CUR_BRANCH" "$CUR_HEAD" ; then
|
if ! check_gitlab_pipeline "$CUR_BRANCH" "$CUR_HEAD" ; then
|
||||||
echo "Check the pipelines for branch \"$CUR_BRANCH\" at https://gitlab.freedesktop.org/NetworkManager/NetworkManager/-/pipelines/"
|
echo "Check the pipelines for branch \"$CUR_BRANCH\" at https://gitlab.freedesktop.org/NetworkManager/NetworkManager/-/pipelines?ref=$CUR_BRANCH"
|
||||||
die "It seems not all gitlab-ci jobs were running/succeeding. Skip this check with --no-check-gitlab"
|
die "It seems not all gitlab-ci jobs were running/succeeding. Skip this check with --no-check-gitlab"
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Reference in a new issue