DEV: fixes eslint/prettier on github actions (PR #10601)

GitHub