Proof of build and run