1. 18 Feb, 2020 1 commit
  2. 16 Feb, 2020 1 commit
    • Praetorius, Simon's avatar
      [!1] added ci configuration for 2.7 release · a67d0d74
      Praetorius, Simon authored
      Merge branch 'feature/releases_2-7' into 'master'
      
      ref:core/ci-config I just copied the configuration from the 2.6 release into a
      corresponding folder for the 2.7 release so that other repositories can test
      for these releases.
      
      See merge request [core/ci-config!1]
      
        [core/ci-config!1]: gitlab.dune-project.org/core/ci-config/merge_requests/1
      a67d0d74
  3. 12 Feb, 2020 1 commit
  4. 11 Nov, 2019 2 commits
  5. 07 Feb, 2019 1 commit
  6. 06 Dec, 2018 10 commits