![]() This PR fixes running clippy on Windows, as it broke in #13223. We can't run shell scripts on Windows, so we need to use something else. Release Notes: - N/A |
||
---|---|---|
.. | ||
actions | ||
ISSUE_TEMPLATE | ||
workflows | ||
cherry-pick-bot.yml | ||
pull_request_template.md |
![]() This PR fixes running clippy on Windows, as it broke in #13223. We can't run shell scripts on Windows, so we need to use something else. Release Notes: - N/A |
||
---|---|---|
.. | ||
actions | ||
ISSUE_TEMPLATE | ||
workflows | ||
cherry-pick-bot.yml | ||
pull_request_template.md |