search

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq
MIT License
199 stars 50 forks source link

opam: Compatible with 8.11 #162

Closed liyishuai closed 4 years ago

liyishuai commented 4 years ago
liyishuai commented 4 years ago

Ready to merge.

Lysxia commented 4 years ago

@Zdancewic since you have the rights for it, could you

  1. merge this if you agree to do the next step;

  2. activate InteractionTrees on CircleCI (should be at this address https://circleci.com/gh/organizations/DeepSpec/settings#projects);

  3. deactivate it on TravisCI (somewhere under https://travis-ci.com/account/repositories after clicking on DeepSpec)?

Zdancewic commented 4 years ago

@Lysxia OK -- I've activated the CircleCI. There's a new ITrees branch for circle configuration: https://github.com/DeepSpec/InteractionTrees/tree/circleci-project-setup

I'm working on deactivating Travis, but it seems to be a pain...

Lysxia commented 4 years ago

Hmm, branch master should already be set up for CircleCI with this PR.

Zdancewic commented 4 years ago

The default CircleCI framework creates the branch automatically when it's linked with a github project, so it's probably OK to delete it and use your configuration.

By the way, I'm having trouble figuring out how to disable Travis -- there doesn't seem to be an "off switch" and googling hasn't turned up anything applicable.

Lysxia commented 4 years ago

On closer inspection, it seems that travis-ci.com has a different interface from travis-ci.org, and all repositories it has access to are always tracked. The repositories Travis has access to are controlled on Github's side (Settings > Applications). I don't know how different it is for organizations though.