This repository is obsolete. The definitions of the docker images we use today are in https://gitlab.lrde.epita.fr/spot/buildenv, and we build them locally at the LRDE. They get pushed into a private repository.
This repository is obsolete. The definitions of the docker images we use today are in https://gitlab.lrde.epita.fr/spot/buildenv, and we build them locally at the LRDE. They get pushed into a private repository.