1. 28 Jan, 2016 1 commit
  2. 27 Jan, 2016 1 commit
    • 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.
      d662a40c