Github Actions using the wrong commit

[ssantichaivekin]

Github Actions is using the wrong commit in @aremath 's pull request run.

This is a Github Actions bug. It seems that this can be fixed by making a commit that is up to date with the current origin/master.

1. Checkout to local master git checkout master
2. Pull from origin/master via git pull. Make sure that your master matches origin/master perfectly.
3. Checkout to your branch git checkout [your-branch-name-without-bracket]
4. Merge from master git merge master
5. Push your changes to remote branch git push

See details and update at actions/checkout#299

[ssantichaivekin]

I have also reported this on Github Actions actions/checkout.