Build docker image as dockerfile rather than using dockerhub remote - Githubissues

stan-dev / docs

Documentation for the Stan language and CmdStan

https://mc-stan.org/docs/

Other

38 stars 108 forks source link

Build docker image as dockerfile rather than using dockerhub remote #730

Closed serban-nicusor-toptal closed 6 months ago

serban-nicusor-toptal commented 6 months ago

Submission Checklist

[ ] Builds locally
[ ] New functions marked with <<{ since VERSION }>>
[ ] Declare copyright holder and open-source license: see below

Summary

Copyright and Licensing

Please list the copyright holder for the work you are submitting (this will be you or your assignee, such as a university or company):

By submitting this pull request, the copyright holder is agreeing to license the submitted work under the following licenses:

Code: BSD 3-clause (https://opensource.org/licenses/BSD-3-Clause)
Documentation: CC BY-ND 4.0 (https://creativecommons.org/licenses/by-nd/4.0/)

serban-nicusor-toptal commented 6 months ago

Successful run here: https://jenkins.flatironinstitute.org/blue/organizations/jenkins/Stan%2FBuildDocs/detail/BuildDocs/43/pipeline/