1. 06 Sep, 2017 1 commit
  2. 28 Nov, 2016 1 commit
  3. 18 Nov, 2016 1 commit
  4. 18 Oct, 2016 2 commits
  5. 16 Aug, 2016 2 commits
  6. 14 Jul, 2016 1 commit
  7. 28 Apr, 2016 1 commit
  8. 16 Feb, 2016 2 commits
  9. 05 Feb, 2016 1 commit
    • Ansgar Burchardt's avatar
      Always run "apt-get update" · da435c14
      Ansgar Burchardt authored
      When only leaf images are rebuilt, the Packages index might be outdated
      and refer to packages that no longer exist in the archive. Always
      running "apt-get update" before installing packages avoids this.
      
      Also remove contents of /var/lib/apt/lists as we no longer use it and it
      allows to keep the images slightly smaller.
      da435c14
  10. 28 Jan, 2016 1 commit
  11. 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