Closed stuaxo closed 6 years ago
I turned on the the building of forked pull requests in CircleCI just now. Unfortunately, I don't think it works after the fact because nothing happened following that. Or the 'conflict' is blocking it?
Yep, the conflict was the issue.
Then it got stuck because we had the absolute git url to this repo to install the extension (binder/requirements.txt) so i just changed it to this project -e .
and it's happy again.
I reckon this is definitely a plus already :)
Definitely the addition of CircleCI has been a plus already.
Bah, the original extension re-org breaks the build.
Remembered, why I hadn't made a PR for this branch originally.. my initial setup.py organisation was a bit weird/hacky.
This is more standard and shouldn't break the build.
It should be possible to have circleci run as a check against PRs, then we can get the full benefit of CI.. probably worth doing before merging this, just in case.