CI: GitHub Actions - Githubissues

coq-community / coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

https://coq-community.org/coq-ext-lib/

BSD 2-Clause "Simplified" License

129 stars 46 forks source link

Closed liyishuai closed 1 year ago

liyishuai commented 1 year ago

Followup CertiCoq/certicoq#61

GitHub Actions provides more free hours for us to keep track of CertiCoq.