Remove the CI jobs that tested with Dune 2.8
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Remove the CI jobs that tested with Dune 2.8
Sander, Oliver
requested to merge
stop-testing-with-dune-2.8
into
master
Nov 28, 2023
Overview
0
Commits
4
Pipelines
2
Changes
4
I don't think we have to support Dune 2.8 anymore.
Merge request reports
Loading