Use dune policy for 2.11 instead of 2.10
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Use dune policy for 2.11 instead of 2.10
Santiago Ospina De Los Ríos
requested to merge
bugfix/dune-policy-2.10
into
releases/2.10
Mar 26, 2025
Overview
0
Commits
1
Pipelines
2
Changes
1
Merge request reports
Loading