GitHub repository: lampepfl/dotty-ci
Primary language: Dockerfile
Description: Docker image for testing dotty and other projects in the LAMP EPFL org