set -euo pipefail
export LC_ALL=C
cd project
python3 build.py tangle --jobs 4 >/dev/null
python3 build.py results --jobs 4
cat build/results/summary.tsv