search

coq-community / reduction-effects

A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]
Mozilla Public License 2.0
6 stars 6 forks source link

Add support for Coq 8.10, 8.11; remove support for Coq 8.9 #5

Closed JasonGross closed 4 years ago

JasonGross commented 4 years ago

After we merge this, we should release v0.1.2

Closes #4

JasonGross commented 4 years ago

@liyishuai Do you want to take a look at this, or should I merge it directly?

liyishuai commented 4 years ago

Did you have CircleCI enabled on your fork?

JasonGross commented 4 years ago

Did you have CircleCI enabled on your fork?

No, I don't think so. How do I enable it?

JasonGross commented 4 years ago

Also, are you going to release v0.1.2 and update opam, or shall I plan on doing it tomorrow?

liyishuai commented 4 years ago

Try one of these links: https://onboarding.circleci.com/project-dashboard/github/JasonGross https://circleci.com/add-projects/gh/JasonGross

I'm going offline. Feel free to release.