No pending runs

Simplifica doesn't have any runs pending verification.