No pending runs

Lazarus doesn't have any runs pending verification.