Linting locally and on github yields inconsistent results #1766
Description
What happened?
Linting locally and on github can currently yield inconsistent results, e.g. missing init of class member is currently not flagged locally. ./scripts/actions.sh lint should be a shortcut for the three steps run on github, see the discussion here: #1739 (comment).
What are the steps to reproduce the bug?
No response
Hedgedoc link to logs and more information. This ticket is public, do not attach files directly.
No response