I'm getting a lot of error messages from the native compiler, nondeterministically, on CI minimization. Things like
File "/tmp/.coq-native/Ntmppzzwwkvv.native", line 59, characters 2-61:
59 | NInterval_Float_Basic.indaccu_NInterval_Float_Basic_float_0
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Unbound module NInterval_Float_Basic
Error: Native compiler exited with status 2
What's up with these error messages?
Wild guess but maybe https://github.com/coq/coq/issues/13035 ?
Last updated: Oct 13 2024 at 01:02 UTC