Skip to content

[GitHub] Add permissions for CI build handling - #6359

Merged
bakpaul merged 1 commit into
masterfrom
hugtalbot-patch-5
Oct 7, 2026
Merged

bakpaul merged 1 commit into
masterfrom
hugtalbot-patch-5

Conversation

@hugtalbot

@hugtalbot hugtalbot commented Oct 7, 2026 •

Copy link
Copy Markdown
Contributor

Increase permissions for token to allow Python scripts write in PR and create statuses

Linked (but no dependency) with : sofa-framework/ci#86

[ci-depends-on https://github.com/sofa-framework/ci/pull/86]


By submitting this pull request, I acknowledge that
I have read, understand, and agree SOFA Developer Certificate of Origin (DCO).


Reviewers will merge this pull-request only if

  • it builds with SUCCESS for all platforms on the CI.
  • it does not generate new warnings.
  • it does not generate new unit test failures.
  • it does not generate new scene test failures.
  • it does not break API compatibility.
  • it is more than 1 week old (or has fast-merge label).

Increase permissions for token to allow Python scripts write in PR and create statuses
@hugtalbot
hugtalbot requested a review from bakpaul October 7, 2026 10:12
@hugtalbot hugtalbot added pr: fast merge Minor change that can be merged without waiting for the 7 review days pr: status to review To notify reviewers to review this pull-request pr: project-ci-infrastructure labels Oct 7, 2026
@github-actions

github-actions Bot commented Oct 7, 2026

Copy link
Copy Markdown

[ci-depends-on] detected.

To unlock the merge button, you must

@bakpaul
bakpaul merged commit 17b991d into master Oct 7, 2026
27 of 30 checks passed
@bakpaul
bakpaul deleted the hugtalbot-patch-5 branch October 7, 2026 11:27
@hugtalbot hugtalbot added pr: status ready Approved a pull-request, ready to be squashed and removed pr: status to review To notify reviewers to review this pull-request labels Oct 7, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr: fast merge Minor change that can be merged without waiting for the 7 review days pr: project-ci-infrastructure pr: status ready Approved a pull-request, ready to be squashed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants