Skip to content
Snippets Groups Projects
Commit 7ccd7063 authored by Ralf Jung's avatar Ralf Jung
Browse files

fix submitting to opam-updater

parent df14cb05
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
buildjob
+ 1
− 1
View file @ 7ccd7063
...@@ -68,7 +68,7 @@ if [[ -n "$OPAM_PKG" && "$CI_COMMIT_REF_NAME" == "${OPAM_PKG_BRANCH:-master}" ]] ...@@ -68,7 +68,7 @@ if [[ -n "$OPAM_PKG" && "$CI_COMMIT_REF_NAME" == "${OPAM_PKG_BRANCH:-master}" ]]
# Trigger opam updater # Trigger opam updater
curl --fail -sS -X POST https://gitlab.mpi-sws.org/api/v4/projects/581/trigger/pipeline \ curl --fail -sS -X POST https://gitlab.mpi-sws.org/api/v4/projects/581/trigger/pipeline \
-F "token=$OPAM_UPDATE_SECRET" \ -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[REPO]=$CI_PROJECT_URL.git" \
-F "variables[REF]=$CI_COMMIT_REF_NAME" \ -F "variables[REF]=$CI_COMMIT_REF_NAME" \
-F "variables[SHA]=$CI_COMMIT_SHA" \ -F "variables[SHA]=$CI_COMMIT_SHA" \
......
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