search

coq-community / templates

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]
The Unlicense
13 stars 8 forks source link

feat: GitHub Actions appendix #116

Closed liyishuai closed 2 years ago

liyishuai commented 2 years ago

tested in coq-http