Commit 7be9733b authored by Ralf Jung's avatar Ralf Jung
Browse files

fix non-timing jobs

parent dadbdfe4
......@@ -48,7 +48,7 @@ env | egrep '^(CI_BUILD_REF|CI_RUNNER)' > build-env.txt
if [[ -n "$MANGLE_NAMES" ]]; then
export COQEXTRAFLAGS="$COQEXTRAFLAGS -mangle-names mangled_"
fi
if [[ -n "$TIMING_CONF" ]]; then
if [[ "$CI_RUNNER_DESCRIPTION" == "coop-timing" ]]; then
export TIMECMD=ci/perf
fi
......@@ -71,7 +71,7 @@ if [[ "$CI_RUNNER_DESCRIPTION" == "coop-timing" ]]; then
panic "[buildjob] TIMING_SECRET variable is missing"
fi
# Submit to webhook endpoint
status "[buildjob] Submitting timing information to coq-speed"
status "[buildjob] Submitting timing information to coq-speed (Project: $TIMING_PROJECT, Branch: $CI_COMMIT_REF_NAME, Config: $TIMING_CONF)"
curl --fail -sS -X POST https://coq-speed.mpi-sws.org/webhook/build_times \
--user "$TIMING_SECRET" \
-H "X-Commit: $CI_COMMIT_SHA" \
......
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