Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

ci/benchmark: Also send CIRRUS_TASK_NAME to benchmarker API

Browse source 
We otherwise cannot distinguish between different benchmarking jobs when
we introduce them (think ubuntu22_jemalloc or ubuntu22_spicy).
This commit is contained in:
Arne Welzel 2023-09-25 13:49:04 +02:00
parent 5ff24dad23
commit 9fedab9845
3 changed files with 9 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
ci/benchmark.sh
View file

@ -46,6 +46,7 @@ curl -sS -G --stderr - --fail --insecure -X POST \
--data-urlencode "cirrus_repo_owner=${CIRRUS_REPO_OWNER}" \
--data-urlencode "cirrus_repo_name=${CIRRUS_REPO_NAME}" \
--data-urlencode "cirrus_task_id=${CIRRUS_TASK_ID}" \
--data-urlencode "cirrus_task_name=${CIRRUS_TASK_NAME}" \
--data-urlencode "cirrus_build_id=${CIRRUS_BUILD_ID}" \
--data-urlencode "cirrus_pr=${CIRRUS_PR}" \
--data-urlencode "cirrus_pr_labels=${CIRRUS_PR_LABELS}" \