Nicolas Jeannerod
Nicolas Jeannerod
The tests suite in CI is currently unreadable. This should be fixed by #169 so maybe we should wait for that, rebase this on top of `main` and then see?
@yurug Called for a rebase using #169. Now the CI should give us much more readable outputs.
This PR is made irrelevant by all the changes in #136.
https://github.com/colis-anr/morbig/pull/157 is evidence enough that the bug has, indeed, been fixed.
I cannot reproduce anymore with Yojson 2, even with 300,000 lines. I will close this issue. Feel free to reopen if you still have the problem.
I feel there are two requests in this issue: 1. Be able to customize whether or not to show the `nix-env` or `nix profile` part of the help. 2. Be...
So this is currently possible. But I'm not sure how it should be made available. An entry point in the Makefile? Or just in the documentation of `tests/runner/run_tests`?
This is currently the case, isn't it? `make test` runs all the tests that have been declared to Dune, that is everything except the proofs replaying.
That being said, in package `ipset`, whose preinst is: dpkg-maintscript-helper rm_conffile /etc/bash_completion.d/ipset 6.25.1-1~ -- "$@" we get: [ERR] wrong version 6.25.1-1~ which should be a valid version, in which case...
How stupid can I be. There was indeed no dpkg on the machine. Forget that second point… What surprises me a bit more is that `5.61.0-1\~\~` seems to be accepted?...