As per #274 (comment 1938334106) we'll move the tidy job to be a monthly task, so removing it from CI for now.