search

math-comp / hierarchy-builder

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

[CI] Update Nix toolbox and add CoqEAL #396

Closed proux01 closed 9 months ago

proux01 commented 11 months ago

So CoqEAL is broken, likely since https://github.com/math-comp/hierarchy-builder/pull/391 I guess I'll have to fix paramcoq.

proux01 commented 9 months ago

@gares now that CoqEAL is fixed, CI green, this is ready.

proux01 commented 9 months ago

Thanks