Commit cc6b7ac6 authored by Ralf Jung's avatar Ralf Jung
Browse files

fix opam log message

parent 32755646
......@@ -125,7 +125,7 @@ if [[ -n "$OPAM_PKG" && "$CI_COMMIT_BRANCH" == "master" ]]; then
OPAM_PKG_PREFIX="branch.$CI_COMMIT_BRANCH"
fi
# Trigger opam updater
status "[buildjob] Releasing package $OPAM_PKG on opam"
status "[buildjob] Releasing package on opam (version prefix: $OPAM_PKG_PREFIX)"
curl --fail -sS -X POST https://gitlab.mpi-sws.org/api/v4/projects/581/trigger/pipeline \
-F "token=$OPAM_UPDATE_SECRET" \
-F "ref=master" \
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment