ci: rename report checking script

This commit is contained in:
Dmytro authored and GitHub committed 2021-12-13 15:37:13 +02:00
1 parent 74d9da327a
commit 5e0f711012
1 file changed