No pending runs

binaryRibbit doesn't have any runs pending verification.