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)
commit05ce19315e39fa1c7e7c92364a488e93750dffb4
tree9c1550a002a5b97bbbd998ba0a61eb88ebac7a85
parente24a969571b0d79e052e467162c0cb59dc2a6d3a
parent05a3011b00f7128c5f46c2d05999937fc01dc2ca
Merge pull request #16760 from mhei/ci-typo

github-ci: fix small typo