[ci] Test against dune 2.9

Merged Timo Koch requested to merge fix/ci-dune-2.9 into master

Merge request reports