$ cd workspace/experiments/experiment_1_pin_statement/lean && lake --wfail build
Build completed successfully (8561 jobs).
PASS (exit 0)
