No pending runs

ACMagma doesn't have any runs pending verification.