Select the types of activity you want to include in your feed.
Merge pull request #25078 from Leonidas-from-XIV/dune-opam-name-checking
Dune opam name checking
authored by Anil Madhavapeddy and committed by GitHub 2 years ago 5effff8f 2314da56