[2.3 backport] Fix GHA when opam-rt uses a diverging API#6337

Merged

rjbou merged 1 commit intoocaml:2.3from kit-ty-kate:2.3-opam-rt-branches

Dec 12, 2024

+11-9

Commits on Dec 11, 2024

Fix GHA when opam-rt uses a diverging API
kit-ty-kate
committed