Having the ci/circleci checkbox enabled will prevent the status from showing as completed in GitHub when using a workflow because CircleCI posts statuses to GitHub with a key that includes the job by name.
ref: https://circleci.com/docs/2.0/workflows-waiting-status/
とあるので ci/circleci をbors-ngのstatus確認に使った場合、status確認がタイムアウトするまでは終わらなくなる（はず）。
しかし、CircleCI上のジョブ名を含んだ状態でborsのstatus設定をおこなうと、bors-ngが動かなくなる。困った。
Next action
https://circleci.com/docs/2.0/workflows-waiting-status/ と https://circleci.com/docs/2.0/workflows/ を読んでどうにかできないか模索する。
ref: https://circleci.com/docs/2.0/workflows-waiting-status/
とあるので
ci/circleciをbors-ngのstatus確認に使った場合、status確認がタイムアウトするまでは終わらなくなる（はず）。しかし、CircleCI上のジョブ名を含んだ状態でborsのstatus設定をおこなうと、bors-ngが動かなくなる。困った。
Next action
https://circleci.com/docs/2.0/workflows-waiting-status/ と https://circleci.com/docs/2.0/workflows/ を読んでどうにかできないか模索する。