Interesting(?) spurious(?) failure in https://gitlab.com/coq/coq/-/jobs/545904250 (test-suite:edge+flambda)
File "./primitive/float/compare.v", line 324, characters 0-50:
Error:
Dynlink error: The module `Coq_native6feb64' is already loaded (either by the main program or a previously-dynlinked library)
@Gaëtan Gilbert this may not seem spurious, maybe the linker is violating the >= 4.08 invariant about doubly-linking modules?
I mean spurious in the sense that it's not caused by the specific PR it was run for
Is there an open issue?
Last updated: Oct 13 2024 at 01:02 UTC