awesome-coq icon indicating copy to clipboard operation
awesome-coq copied to clipboard
verified publisher icon coq-community

Set up CI for checking Awesome project format

Open palmskog opened this issue 4 years ago • 1 comments

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

palmskog avatar Aug 12 '21 18:08 palmskog

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

palmskog avatar Aug 13 '21 21:08 palmskog