We have had one (and for rstan) but it has failed thousands of times in a row due to lack of write permisions (to install packages) by the Jenkins user.
Could you coordinate with @seantalts and @serban-nicusor to get the Jenkins issues sorted?
If there aren’t automated upstream tests, we’ll keep breaking the upstream inadvertently.