Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
Applied to patch of PR manually to adjust the commit message to mention that CUSTOM_NAME has to be set for specifying the tool name in CLI build command. Thanks!
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.