Skip to content

Remove the CI jobs that tested with Dune 2.8

Sander, Oliver requested to merge stop-testing-with-dune-2.8 into master

I don't think we have to support Dune 2.8 anymore.

Merge request reports