ci: Add Coq 8.17 - Githubissues

Lysxia / coq-ceres

Coq library for serialization to S-expressions

MIT License

18 stars 1 forks source link

Closed liyishuai closed 1 year ago

liyishuai commented 1 year ago

@Lysxia call for tag and OPAM publish: No Ceres release works with Coq 8.17 for now.

Lysxia commented 1 year ago

OK I can do that