Raphaël Monat
Raphaël Monat
Thank you for your comments @AltGr! I'll see what I can process and let Pierre handle the rest when he's back on the project.
It's funny, it seems the `x-ci-accept-failures` [here](https://github.com/ocaml/opam-repository/pull/25889/files#diff-c1410259c39714688e500e92379697847ebf9f4ed161c9897450774192efc2f7R48) is not taken into account in the CI report, for Fedora 39?
@thierry-martinez I was wondering if you want to merge this as-is or...?
Bumping this. We are also encountering this issue in the [Mopsa static analyzer](https://gitlab.com/mopsa/mopsa-analyzer/), for our one our parsers ([link to WIP MR](https://gitlab.com/mopsa/mopsa-analyzer/-/merge_requests/275))
Agreed! I'm in favor of the latter option, it seems more robust.
Following our weekly meeting: 1. `assert` to raise errors if the condition is not satisfied 2. `assume` to ensure a given condition is satisfied 3. Maybe a soft_assume for soft...
I guess you know already, there is a debug adapter protocol, a sibling of LSP aiming at providing debugger interfaces.
> Are the test failures due to the mismatch of python version? > > It works on some distros (e.g., arch with python 3.12) but not on others (e.g., debian...
@yawaramin thank you for your suggestion! The tests dune runs are for all languages: C, Python -- so having `conf-python-3` would be nice, although we would indeed require a higher...
@mseri I totally agree! I removed the dependency for this release, and will do this in a future release. Thank you for spotting this too!