So instead of fuzzing each and every PR for 10minutes, we just fuzz 30mins every 24 hours, at 6am UTC which should be a time when US and Europe might be least active.
Julian Oes