Marcello Seri
Marcello Seri
Ping @shonfeder, should we move the issue to the CI infrastructure repo?
I would see it more like a manual github bot that answers to a request to save all or part of the error logs, or a button on the CI...
Thanks
What does the port to wasm_of_ocaml entails? I have tried replacing the calls to js_of_ocaml to wasm_of_ocaml (except build-fs) and [the build seems to go through](https://github.com/mseri/coq-lsp/actions/runs/14339005882/job/40193357519). I still need to...
That's awesome, thanks! I should be able to spend some time testing it next month 🤞 I will report here how is the experience
There are lots of failures in the CI ``` #=== ERROR while compiling portmidi.0.4 =======================================# # context 2.3.0 | linux/x86_64 | ocaml-base-compiler.4.14.2 | pinned(https://github.com/mbacarella/portmidi/releases/download/0.4/portmidi-0.4.tbz) # path ~/.opam/4.14/.opam-switch/build/portmidi.0.4 # command ~/.opam/opam-init/hooks/sandbox.sh...
Ping @mbacarella Any update on this?
I think that's probably a good idea
To begin with you can add the script in a github gist and include it to the opam file as [extra-files](https://opam.ocaml.org/doc/Manual.html#opamfield-extra-files). Once the script is stable, we will move it...