No pending runs

MiniJ doesn't have any runs pending verification.