First, make sure that you did push to the right branch and that the commit still doesn’t show up in the PR. For me, the commit showed up when I viewed the specific branch in the repo, but didn’t show in the PR and didn’t trigger CI.
This is what fixed the issue for me:
- Click on Edit in the top right corner.
- Click on the
baseselector and choose the same base branch.
- GitHub will ask you whether you want to change base, confirm.
- The PR should update and the commit should show up.