Skip to content
This repository was archived by the owner on Mar 12, 2026. It is now read-only.

Add missing permissions to GitHub Actions workflows#20

Merged
SeanTAllen merged 1 commit intomainfrom
add-workflow-permissions
Feb 9, 2026
Merged

Add missing permissions to GitHub Actions workflows#20
SeanTAllen merged 1 commit intomainfrom
add-workflow-permissions

Conversation

@SeanTAllen
Copy link
Copy Markdown
Member

Adds explicit permissions blocks to workflows that were missing them, matching the standard permissions used across ponylang projects.

@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Feb 9, 2026
@SeanTAllen SeanTAllen merged commit 9eff10a into main Feb 9, 2026
10 checks passed
@SeanTAllen SeanTAllen deleted the add-workflow-permissions branch February 9, 2026 14:19
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Feb 9, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants