[CI] test built - #4517

[CI] test built#4517

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

mainpeter-evans/create-pull-request:mainfrom

ci-test-built-3afad46a91e1234a4e2800ffa47bd6c2a6b66b6cpeter-evans/create-pull-request:ci-test-built-3afad46a91e1234a4e2800ffa47bd6c2a6b66b6cCopy head branch name to clipboard