Merge pull request #16760 from mhei/ci-typo
authorAlexandru Ardelean <ardeleanalex@gmail.com>
Tue, 28 Sep 2021 07:34:07 +0000 (10:34 +0300)
committerGitHub <noreply@github.com>
Tue, 28 Sep 2021 07:34:07 +0000 (10:34 +0300)
github-ci: fix small typo


Trivial merge