CircleCI with ARM #96
Description
Once the coq-community has access to ARM resources on CircleCI, it might be worth adding some circleci_arm option to the template.
{{ message }}
Once the coq-community has access to ARM resources on CircleCI, it might be worth adding some circleci_arm option to the template.