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] Add Coq master and Coq 8.18 to master branch #383

Closed proux01 closed 1 year ago

proux01 commented 1 year ago

As duly requested by @SkySkimmer in https://github.com/coq/coq/pull/17722#pullrequestreview-1609654020

Also take the opportunity to add Coq 8.18

proux01 commented 1 year ago

@CohenCyril @gares all CI failures now look like transient failure (I cannot relaunch the jobs but they succeeded in a previous run) so I guess we can consider CI green.

proux01 commented 1 year ago

Thanks!