[-] If a user-facing facing change was made, the documentation PR is here:
[x] OR, no user-facing changes were made
Release notes
Add --profile static to linux build step in github workflow.
Copyright and Licensing
By submitting this pull request, the copyright holder is agreeing to @yizhang-yiz .
license the submitted work under the BSD 3-clause license (https://opensource.org/licenses/BSD-3-Clause)
For issue #1391.
Submission Checklist
Release notes
Add
--profile static
to linux build step in github workflow.Copyright and Licensing
By submitting this pull request, the copyright holder is agreeing to @yizhang-yiz . license the submitted work under the BSD 3-clause license (https://opensource.org/licenses/BSD-3-Clause)