Use the 13.1 worker for the repocheck