Closed affeldt-aist closed 2 months ago
This broke Coq's continuous integration: https://gitlab.inria.fr/coq/coq/-/jobs/4446730
That maybe because the typo should have been propagated to the tests directory. I hope this PR https://github.com/math-comp/hierarchy-builder/pull/426 will fix it.
tests
This broke Coq's continuous integration: https://gitlab.inria.fr/coq/coq/-/jobs/4446730