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

CircleCI with ARM #96

Open liyishuai opened 3 years ago

liyishuai commented 3 years ago

Once the coq-community has access to ARM resources on CircleCI, it might be worth adding some circleci_arm option to the template.