add coq 8.17 to ci - Githubissues

coq-community / parseque

Total Parser Combinators in Coq [maintainer=@womeier]

MIT License

42 stars 5 forks source link

add coq 8.17 to ci #8

Closed womeier closed 1 year ago