ci: fix unexpected input 'file'
warning in coverage job#7960
Merged
RenjiSann merged 1 commit intouutils:mainfrom May 19, 2025
Merged
ci: fix `unexpected input 'file'` warning in coverage job#7960RenjiSann merged 1 commit intouutils:mainfrom
RenjiSann merged 1 commit intouutils:mainfrom