Skip to content

Use dune's built-in x-maintenance support#570

Merged
jmid merged 7 commits into
mainfrom
built-in-x-maintenance
Oct 2, 2025
Merged

Use dune's built-in x-maintenance support#570
jmid merged 7 commits into
mainfrom
built-in-x-maintenance

Silence unused-functor-parameter warnings in lin_domain, lin_effect, …

04827d0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar