No pending runs

operadorTex doesn't have any runs pending verification.