[CI] test built#4413

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

mainpeter-evans/create-pull-request:mainfrom

ci-test-built-a78ae501dd2c8c6fc514039b85a75c7404858a4bpeter-evans/create-pull-request:ci-test-built-a78ae501dd2c8c6fc514039b85a75c7404858a4bCopy head branch name to clipboard