[ci] Use newer Ubuntu (and thus compilers) when testing against dune master
Compare changes
- Timo Koch authored
+ 5
− 4
@@ -7,6 +7,7 @@ stages:
@@ -111,7 +112,7 @@ minimal-dune-latest-release-gcc:
@@ -121,7 +122,7 @@ full-dune-latest-release-clang:
@@ -132,12 +133,12 @@ full-dune-master-gcc-cpp-20: