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

fix timing log message

parent 7a140e62
......@@ -101,7 +101,7 @@ if [[ "$CI_RUNNER_DESCRIPTION" == "coop-timing" && -n "$CI_COMMIT_BRANCH" ]]; th
TIMING_CONFIG=$TIMING_AD_HOC_ID
fi
# Submit to webhook endpoint
status "[buildjob] Submitting timing information to coq-speed (Project: $TIMING_PROJECT, Branch: $CI_COMMIT_BRANCH, Config: $TIMING_CONF)"
status "[buildjob] Submitting timing information to coq-speed (Project: $TIMING_PROJECT, Branch: $TIMING_BRANCH, Config: $TIMING_CONFIG)"
curl --fail -sS -X POST https://coq-speed.mpi-sws.org/webhook/build_times \
--user "$TIMING_SECRET" \
-H "X-Project: $TIMING_PROJECT" \
......
Markdown is supported
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