On this PR, you can see that the CI status says
Your CircleCI tests were canceled
Which they were, and it links to the canceled Build #207.
But then afterwards, I clicked Rebuild, and it did a build on the same commit, which succeeded: https://circleci.com/gh/mathquill/mathquill/208
Shouldn’t the GitHub Commit Status be updated to say the build later succeeded for that commit?