search

math-comp / hierarchy-builder

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

Update Changelog.md #410

Closed CohenCyril closed 8 months ago

CohenCyril commented 8 months ago

@proux01 or @gares can you check I did not screw up the coq & coq-elpi requirements in the changelog before I release?

gares commented 8 months ago

Look right. Not sure 2.0.0 on 8.18 is really necessary if you don't need vscoq2

CohenCyril commented 8 months ago

@gares :ok: thanks, let's keep it like this? Sidenote: where is your automatic release tool?

gares commented 8 months ago

It should be triggered by pushing a tag, then fix the release it generates

proux01 commented 8 months ago

LGTM