Skip to content

Fix failing 5.4.0 opam install workflow and add 5.5.0+trunk#575

Merged
jmid merged 1 commit into
mainfrom
fix-opam-install-540
Dec 15, 2025
Merged

Fix failing 5.4.0 opam install workflow and add 5.5.0+trunk#575
jmid merged 1 commit into
mainfrom
fix-opam-install-540

Fix failing 5.4.0 opam install workflow and add 5.5.0+trunk

85b3f57
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar