diff --git a/buildjob b/buildjob index 216308c04907e5b865fb4de34e39e49ff7535221..1bae0dc8eb481976decb72d3d1ebe2eb8c22090d 100755 --- a/buildjob +++ b/buildjob @@ -68,7 +68,7 @@ if [[ -n "$OPAM_PKG" && "$CI_COMMIT_REF_NAME" == "${OPAM_PKG_BRANCH:-master}" ]] # Trigger opam updater curl --fail -sS -X POST https://gitlab.mpi-sws.org/api/v4/projects/581/trigger/pipeline \ -F "token=$OPAM_UPDATE_SECRET" \ - -F "ref=master" \ # the branch we trigger on the other end + -F "ref=master" \ -F "variables[REPO]=$CI_PROJECT_URL.git" \ -F "variables[REF]=$CI_COMMIT_REF_NAME" \ -F "variables[SHA]=$CI_COMMIT_SHA" \