Update boilerplate - Githubissues

coq-community / parseque

Total Parser Combinators in Coq [maintainer=@womeier]

MIT License

42 stars 5 forks source link

Closed palmskog closed 11 months ago

palmskog commented 11 months ago

This fixes some boilerplate issues:

CI status not showing properly
project not building with Coq master due to unused required files disappearing from Coq's repo

I will merge once CI passes.