Jan Midtgaard
Jan Midtgaard
CI summary for f7b2fa9 - Linux 5.3 debug failed with assertion errors #470 - Linux trunk debug failed with assertion errors #470 Out of 31 workflows 2 failed with genuine...
CI summary for 04f66ce - Linux 5.3 debug failed with assertion errors #470 - Linux trunk debug failed with assertion errors #470 Out of 31 workflows 2 failed with genuine...
CI summary for 0374c67 - Linux 5.3 debug failed with an assertion error #470 - Linux trunk debug failed with an assertion error #470 - MSVC bytecode 5.3 failed to...
The experiment in 0374c67 replacing `Gc.compact` in `cleanup` worked fine - the previously seen issues are still triggering.
First, I've rebased this on `main`. Secondly, to make progress this PR d7ab558 temporarily omits `Gc.compact` to avoid triggering the two remaining issues: #470 and #480. If this is CI...
CI summary for d7ab558: all 33 workflows passed. I'll merge this then :tada:
CI summary for merge to `main`: All 34 workflows passed.
CI fails on - Arch (missing a case in the opam file) and - OpenSuse (unsure why)
I think OpenSuse is failing due to a missing .pc file, causing the pkg-config lookup to fail See `Files` here for package contents - without a `nauty.pc`: https://opensuse.pkgs.org/15.5/opensuse-oss-x86_64/nauty-devel-2.8.6-bp155.1.7.x86_64.rpm.html
I can see a package here https://archlinux.org/packages/extra/x86_64/nauty/ from the "extra" repo. I'm unsure whether that repo is supported in opam-ci though... :thinking: