As we noticed yesterday, Dune does not call an appropriate shell with the stanza (run ...) on
Windows. I tried (run bash ...) but I ran into issues with absolute and relative paths. Another solution consists in using
the stanza (enabled_if ...) to prevent Dune from calling the script on Windows. This solution is ugly because the mini-language for actions in Dune is really limited.
Finally, I rewrite the simple script in OCaml. This solution works fine!
As we noticed yesterday, Dune does not call an appropriate shell with the stanza
(run ...)on Windows. I tried(run bash ...)but I ran into issues with absolute and relative paths. Another solution consists in using the stanza(enabled_if ...)to prevent Dune from calling the script on Windows. This solution is ugly because the mini-language for actions in Dune is really limited.Finally, I rewrite the simple script in OCaml. This solution works fine!
I tested the workflow here: https://github.com/Halbaroth/alt-ergo/actions/runs/10162591930