it seems to be some mathcomp incompatibility
isn't this a problem with COQPATH instead?
I had trouble already running the jasmin CI locally with the same error.
Basically IIUC it's the only CI dev that uses dune install, so it puts the vo files in a different place.
(I mean mathcomp-word, not jasmin)
I don't know
it used to work though
I guess it's https://github.com/jasmin-lang/coqword/commit/b94f0020377791cb3e1dbdc37731327f02b1355c
I've written a quick sed-based PR, seems to work so far: https://github.com/jasmin-lang/jasmin/pull/223
Last updated: Nov 29 2023 at 18:01 UTC