Hey,

> It is possible to have more details my editing the
> build-aux/cuirass/evaluate file and replacing all by system-tests. Then,
> running the following command:

Looks like things went back to normal, not sure what fixed it.

Closing,

Mathieu



Reply via email to