[CI] Add Coq 8.19 - Githubissues

math-comp / hierarchy-builder

High level commands to declare a hierarchy based on packed classes

MIT License

95 stars 20 forks source link

Closed proux01 closed 8 months ago

proux01 commented 8 months ago

@CohenCyril CI green here. Once this merged, a release of HB compatible with 8.18 and 8.19 with coq-elpi >= 2.0 would be nice.