--- cache: paths: - install/ dune:git--gcc: image: mathiwr/dune:latest script: - ./contrib/ci-setup - dunecontrol --opts=/duneci/opts.gcc --current all - dunecontrol --current make test only: - develop