CI reports success when constraints are not satisfiable
anton-trunov opened this issue · comments
Please see #1082 (comment)
I would say this is OK if a package is not compatible with a tested platform on the CI if the package says it explicitly. You mean that you expect the CI to check that a package is compatible with at least one platform?
You mean that you expect the CI to check that a package is compatible with at least one platform?
Yes, something like this. I would expect CI to check if the package under test is at all installable.
I guess a package with a constraint like this one: "coq" {< "0.0"} is not really useful, but CI currently does not check it.
Adding these checks: #1084
Should be done:
Awesome!