investigate hiccups in github actions

[ghurlbot]

due 27 Jul 2023

[pchampin]

Examples of such hiccups:

• https://github.com/w3c/rdf-turtle/actions/runs/5611775134/job/15204018558?pr=34
• https://github.com/w3c/rdf-n-quads/actions/runs/5611766553/job/15210416575

The issue seems to be due to the fact that these PRs come from public forks rather than the same repo,
so the permissions are restricted (to avoid malicious code injection in the CI infrastructure):
https://docs.github.com/en/actions/security-guides/automatic-token-authentication#permissions-for-the-github_token

This is a known issue of the GH action we are using: actions/add-to-project#163
I will try this workaround.

[pchampin]

should now be fixed on all repos. Let's wait and see.

[pchampin]

only one incident to report since, and it is not the same issue. Propose closing.

[pchampin]

The remaining failed actions seem to be unrelated to this issue, so it can be closed.