search

math-comp / hierarchy-builder

High level commands to declare a hierarchy based on packed classes
MIT License
97 stars 21 forks source link

[CI] Fix #365

Closed proux01 closed 1 year ago

proux01 commented 1 year ago

@CohenCyril followup of https://github.com/math-comp/hierarchy-builder/pull/362 CI green if you want to merge