This is a copy of what @mikeb did in the waiverdb Jenkinsfile just yesterday.
:+1: with the same note, that I would like to try and fix this "properly" so that the docs can build cleanly without network, but this is a good workaround for now.
Agreed, makes sense.
Pull-Request has been merged by ralph
This is a copy of what @mikeb did in the waiverdb Jenkinsfile just yesterday.