Skip to content

add a github workflow checking for x-maintenance-intent in the opam files of the PR#27221

Merged
mseri merged 1 commit intoocaml:masterfrom hannesm:add-maint-intent-ciJan 8, 2025