hi, the docker image used by the CI (nuttx-ci-linux) is useful for other purposes. but as far as i know, it isn't pullable publicly.
right now, i'm building and pushing it to docker hub for my own consumption. https://hub.docker.com/repository/docker/yamt/nuttx-ci-linux i think it's worth to provide an equivalent officially as a project. how do you think?
