• Ansgar Burchardt's avatar
    Add duneci/dune:git image · d662a40c
    Ansgar Burchardt authored
    This is the current state of the Git master branch of the DUNE core modules.
    The image needs to be rebuilt from time to time.
    We use a staged build to make sure to only update the image if the tests for
    the core modules pass.
Dockerfile 713 Bytes