search

w3c / rdf-star-wg

RDF-star Working Group
Other
25 stars 8 forks source link

investigate hiccups in github actions #78

Closed ghurlbot closed 1 year ago

ghurlbot commented 1 year ago

due 27 Jul 2023

pchampin commented 1 year ago

Examples of such hiccups:

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: https://github.com/actions/add-to-project/issues/163 I will try this workaround.

pchampin commented 1 year ago

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

pchampin commented 1 year ago

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

pchampin commented 1 year ago

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