Adjust permissions of format action

[gdalle]

This is a test to see if I can overcome the formatting permissions issue of #772

Related:

• reviewdog: This GitHub token doesn't have write permission of Review API [1] reviewdog/action-eslint#148

[gdalle]

This fails because PRs from forks cannot give a write permission to the GITHUB_TOKEN

Finally, if the workflow was triggered by a pull request from a forked repository, and the Send write tokens to workflows from pull requests setting is not selected, the permissions are adjusted to change any write permissions to read only.

https://docs.github.com/en/actions/security-for-github-actions/security-guides/automatic-token-authentication#how-the-permissions-are-calculated-for-a-workflow-job

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 96.41%. Comparing base (5bc3cd5) to head (abbf29e).

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #773   +/-   ##
=======================================
  Coverage   96.41%   96.41%           
=======================================
  Files         124      124           
  Lines       11590    11590           
=======================================
  Hits        11175    11175           
  Misses        415      415           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

---

🚨 Try these New Features:

• Flaky Tests Detection - Detect and resolve failed and flaky tests

[kellertuer]

But format also does not commit here, it would just report the errors as code watch comments. Sure, these comments you might not get, but running using JluiaFormatter; format("."); is all we require here. So that can also just be considered as a reminder to do that similar to the Changeling CI, that we added after we (maybe mainly I) missed to write an entry there a few times in a row.

[gdalle]

Fair enough, I see that it succeeds now because for a well-formatted code it doesn't try to write the comments. Closing.