Skip to content

Merge pull request #5870 from kit-ty-kate/opam-2.1.6 #952

Merge pull request #5870 from kit-ty-kate/opam-2.1.6

Merge pull request #5870 from kit-ty-kate/opam-2.1.6 #952

Annotations

2 warnings

solvers (ubuntu-latest, 4.12.0, 0install)

succeeded May 16, 2024 in 13m 44s