Update pull request workflow to use the tagged github-workflows#3200

bnbarham merged 1 commit intoswiftlang:mainswiftlang/swift-syntax:mainfrom

bnbarham:use-versioned-workflowsbnbarham/swift-syntax:use-versioned-workflowsCopy head branch name to clipboard