CircleCI has issues running a pipeline on a pull request if that commit has already been run on a user's fork. This bit us in #51. This CircleCI idea suggests this might not work (although it does appear to relate to branches in the repo, not in a fork) and this CircleCI support entry says that a user can't be configured to run CI against their fork while also having their PRs built.
One short-term workaround is for a user to submit a draft PR to run the CI.
Closure condition
This issue should be closed when there's a documented procedure for running CI on a user's fork and also on that user's submitted pull requests or it's been determined to be impossible.
CircleCI has issues running a pipeline on a pull request if that commit has already been run on a user's fork. This bit us in #51. This CircleCI idea suggests this might not work (although it does appear to relate to branches in the repo, not in a fork) and this CircleCI support entry says that a user can't be configured to run CI against their fork while also having their PRs built.
One short-term workaround is for a user to submit a draft PR to run the CI.
Closure condition
This issue should be closed when there's a documented procedure for running CI on a user's fork and also on that user's submitted pull requests or it's been determined to be impossible.