This repository has been archived by the owner on May 19, 2024. It is now read-only.

.github/workflows: tweak opam repo setup #2

Provide feedback