[.github] disable another check

- whitespace/semicolon is not very useful for us but clutters the PRs
This commit is contained in:
Uwe
2022-09-24 05:06:44 +02:00
parent 3eb9207639
commit 1636997745

File diff suppressed because one or more lines are too long