record the cpu usage in a gitignored directory

This commit is contained in:
Pietro Albini 2023-03-09 13:55:23 +01:00
parent 1853e113b5
commit 9c24608b50
No known key found for this signature in database
GPG Key ID: CD76B35F7734769E
2 changed files with 3 additions and 2 deletions

View File

@ -6,4 +6,5 @@
set -euo pipefail
IFS=$'\n\t'
python3 src/ci/cpu-usage-over-time.py &> cpu-usage.csv &
mkdir -p build
python3 src/ci/cpu-usage-over-time.py &> build/cpu-usage.csv &

View File

@ -23,7 +23,7 @@ if [[ "${DEPLOY-0}" -eq "1" ]] || [[ "${DEPLOY_ALT-0}" -eq "1" ]]; then
fi
# CPU usage statistics.
cp cpu-usage.csv "${upload_dir}/cpu-${CI_JOB_NAME}.csv"
cp build/cpu-usage.csv "${upload_dir}/cpu-${CI_JOB_NAME}.csv"
# Build metrics generated by x.py.
cp "${build_dir}/metrics.json" "${upload_dir}/metrics-${CI_JOB_NAME}.json"