search

sourcebots / robot-api

(Legacy) API to interface with robotd
http://docs.sourcebots.co.uk/api/
MIT License
4 stars 1 forks source link

PR to find out the Python version on CircleCI #68

Closed PeterJCLaw closed 6 years ago

PeterJCLaw commented 6 years ago

Not for merging

kierdavis commented 6 years ago

I don't believe you need to create a PR in order to start a circleci build - simply pushing to a branch in sourcebots/robot-api should suffice.

PeterJCLaw commented 6 years ago

@kierdavis that was my expectation too, however it didn't seem to be the case.

PeterJCLaw commented 6 years ago

Oh, it might have been because this was a branch in my own clone, rather than the original repo.