No pending runs

Texexjr doesn't have any runs pending verification.