Closed Sudha247 closed 1 year ago
Any idea why the CI isn't picking up the latest version of domainslib, even though it's opam file is updated. Does it need to be pinned elsewhere?
Do we still need domainslib.0.4.2
? This version can be removed if domainslib.0.5.0 should be used henceforth.
Some updates to preserve compatibility with
domainslib.0.5.0
.