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