Ubuntu environment with development tools
See https://gitlab.inria.fr/solverstack/distrib
To use it:
docker pull tthor/ci
docker run -it tthor/ci
Content type
Image
Digest
sha256:bea2a24a0…
Size
3.8 GB
Last updated
almost 4 years ago
docker pull tthor/ci