Builds, tests, and runs the project jseTxnPropTst.