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 test dependencies #118

Closed liyishuai closed 1 year ago

liyishuai commented 1 year ago

Tested in liyishuai/coq-async-test@5dbf8c5