[ci] use dune 2.7 release (!395) · Merge requests · extensions / dune-codegen

Marcel Koch requested to merge fix/release-ci into releases/2.7 Jul 10, 2020

Note: currently there is no docker image for pdelab 2.7, since there is no acutal pdelab release yet.

[ci] use dune 2.7 release