Skip to content

Added needed permissions to unblock post-merge#526

Merged
adimoft merged 1 commit intomainfrom
fix-post-merge
Apr 23, 2026
Merged

Added needed permissions to unblock post-merge#526
adimoft merged 1 commit intomainfrom
fix-post-merge

Conversation

@adimoft
Copy link
Copy Markdown
Contributor

@adimoft adimoft commented Apr 23, 2026

Merge Checklist

All boxes should be checked before merging the PR

  • The changes in the PR have been built and tested
  • Documentation has been updated to reflect the changes (or no doc update needed)
  • Ready to merge

Description

Any Newly Introduced Dependencies

How Has This Been Tested?

@adimoft adimoft merged commit a648c54 into main Apr 23, 2026
32 checks passed
@adimoft adimoft deleted the fix-post-merge branch April 23, 2026 10:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant