cmdstan PR https://github.com/stan-dev/cmdstan/pull/552 failed - problem making manual. (not touched by this PR, builds on my machine, etc).how to fix?cheers,Mitzi
This should be an issue for cmdstan.
I think it's the performance publishing plugin that's been acting up for some other builds. I took it out of the cmdstan build for now; I scheduled that plugin to update next time Jenkins can restart itself.