Merge pull request #26928 from jamacku/update-shellcheck
authorYu Watanabe <watanabe.yu+github@gmail.com>
Wed, 22 Mar 2023 06:13:38 +0000 (15:13 +0900)
committerGitHub <noreply@github.com>
Wed, 22 Mar 2023 06:13:38 +0000 (15:13 +0900)
commit206760a4bc2e89ce7cec60b3f22a0a17bf2f9455
tree8757bfeea17512c2e8bcd5743ef6fbc8d4997923
parentf3e03bd04e21c00cd251bf69a346d0ae505b6494
parenta33d7c4cc9632af58f5032dbb1e3f7d002067077
Merge pull request #26928 from jamacku/update-shellcheck

ci: trigger `differential-shellcheck` workflow on push