Linting locally and on github yields inconsistent results

[clessig]

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

[simone99n]

assign me

[github-actions]

Issue assigned to @simone99n.