[.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 9fd89be501
commit fbd444eecc

File diff suppressed because one or more lines are too long