[CI] test built#4405

github-actions[bot] wants to merge 1 commit into

mainpeter-evans/create-pull-request:mainfrom

ci-test-built-de3659509404e93c716f0545023a7e6c95acdd3dpeter-evans/create-pull-request:ci-test-built-de3659509404e93c716f0545023a7e6c95acdd3dCopy head branch name to clipboard