Closed bfops closed 2 weeks ago
master
It turns out that this check runs, and fails, on commits that are not part of a PR at all.
I believe this PR fixes that.
No runtime changes.
1
Not super satisfying, but the check currently passes on this PR :shrug:
Description of Changes
1180 added a GitHub status check for PRs; this check fails if a PR is based on any branch besides
master
.It turns out that this check runs, and fails, on commits that are not part of a PR at all.
I believe this PR fixes that.
API and ABI breaking changes
No runtime changes.
Expected complexity level and risk
1
Testing
Not super satisfying, but the check currently passes on this PR :shrug: