@rlepigre-skylabs-ai could you have a look through the tests and make sure they still make sense. I've also fixed an issue where we were calling rocq --config which doesn't exist and we should have been calling rocq compile --config instead.

@rlepigre-skylabs-ai could you have a look through the tests and make sure they still make sense. I've also fixed an issue where we were calling rocq --config which doesn't exist and we should have been calling rocq compile --config instead.

Sure, I'll have a look.

By the way, I'm pretty sure that rocq --config does exist (with the same output as rocq compile --config). What made you think it didn't?

@rlepigre-skylabs-ai is rocq --config coming from a comparability shim or something? The nix flake I have does not have that option.

Ah, I think the issue was rocq --config doesn't work for 9.0, which I had tried initially, however does work for 9.1.

Ah, I think the issue was rocq --config doesn't work for 9.0, which I had tried initially, however does work for 9.1.

Ah, that would make sense. In that case is it better to keep using rocq compile --config?

@rlepigre-skylabs-ai I've removed the changes about rocq compile --config and will submit that as a follow up.