GitHubActions: prevent forks' CI to fail on schedule triggers#847

knocte wants to merge 2 commits intofsprojects:masterfsprojects/FSharpLint:masterfrom

knocte:masterknocte/FSharpLint:masterCopy head branch name to clipboard