Slow down PR checking to avoid github rate limiting