On 13 February 2017 at 22:06, Pavel Sanda <sa...@lyx.org> wrote: > > If someone has instructions on how to build on some other platform, i.e. > > not Ubuntu..., let me know and I can set up such a job. > > You have list of available distros or you need to build your own image?
I think pretty much all distros are easy to come by via DockerHub... Here are some official Docker images I found: - https://hub.docker.com/_/centos/ - https://hub.docker.com/_/opensuse/ - https://hub.docker.com/_/debian/ - https://hub.docker.com/_/ubuntu/ - https://hub.docker.com/_/alpine/ - https://hub.docker.com/_/fedora/ - https://hub.docker.com/_/oraclelinux/ /Christian