🏗️🔧：fix four faults in landing a pull request - #1897

🏗️🔧：fix four faults in landing a pull request#1897

openinf-commit-queue[bot] merged 1 commit into

liveOpenINF/openinf.github.io:livefrom

infra/commit-queue-defectsOpenINF/openinf.github.io:infra/commit-queue-defectsCopy head branch name to clipboard