Docker image for testing dotty and other projects in the LAMP EPFL org - View it on GitHub