set -euo pipefail
export LC_ALL=C
cd project
python3 build.py tangle
python3 build.py results --jobs 4
python3 build.py all --jobs 4
