No pending runs

Smatchy doesn't have any runs pending verification.