Cmdstan build on Jenkins - `make manual` failing


#1

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


#2

This should be an issue for cmdstan.


#3

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.