We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Hi,
For conf-* packages, the CI is always giving the following error:
conf-*
Error in conf-X: No package source directory provided.
It would be great to remove this error for conf-* packages (those having the conf flag in the opam file) in order to unclutter the output.
conf
The text was updated successfully, but these errors were encountered:
There should already be an issue for that, right @shonfeder ?
Sorry, something went wrong.
(I searched quickly for existing issues but did not find anything)
No branches or pull requests
Hi,
For
conf-*
packages, the CI is always giving the following error:It would be great to remove this error for
conf-*
packages (those having theconf
flag in the opam file) in order to unclutter the output.The text was updated successfully, but these errors were encountered: