search

coq-community / awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
https://coq-community.org/awesome-coq
Creative Commons Zero v1.0 Universal
315 stars 20 forks source link

Set up CI for checking Awesome project format #22

Open palmskog opened 3 years ago

palmskog commented 3 years ago

We should try to copy some other Awesome project's CI for checking rule conformance (since there is a tool and everything).

palmskog commented 3 years ago

24 is a partial solution to this issue, but let's keep this open until we can do more deep format checking as well.