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 16 2021 at 02:03 UTC