ci: make PR checks fork-friendly#797

LukasWallrich wants to merge 1 commit into

mainforrtproject/forrtproject.github.io:mainfrom

ci/fork-pr-friendly-checksforrtproject/forrtproject.github.io:ci/fork-pr-friendly-checksCopy head branch name to clipboard