| #!/bin/bash | |
| # Spawn a background process to collect CPU usage statistics which we'll upload | |
| # at the end of the build. See the comments in the script here for more | |
| # information. | |
| set -euo pipefail | |
| IFS=$'\n\t' | |
| mkdir -p build | |
| python3 src/ci/cpu-usage-over-time.py &> build/cpu-usage.csv & |