CI tests should run installcheck target
The CI build don't use distcheck
for speed reasons, as such issues that otherwise normally be caught by distcheck
can creep through. Running the installcheck
target will catch these.
What kind of speed hit will result in enabling this? And is it worth it? Nightly builds run distcheck
so such problems will eventually be caught.