Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add permissions to GitHub workflows #131

Open
abelsiqueira opened this issue May 22, 2024 · 0 comments · May be fixed by #444
Open

Add permissions to GitHub workflows #131

abelsiqueira opened this issue May 22, 2024 · 0 comments · May be fixed by #444
Labels
chore major Requires a new major release (0.x -> 0.x+1)
Milestone

Comments

@abelsiqueira
Copy link
Collaborator

Such as

    permissions:
      contents: write
      pull-requests: read
      statuses: write

Taken from https://documenter.juliadocs.org/stable/man/hosting/#GitHub-Actions

@abelsiqueira abelsiqueira added this to the 0.5.0 - Hack & Feed 1 milestone May 22, 2024
@abelsiqueira abelsiqueira added the major Requires a new major release (0.x -> 0.x+1) label May 30, 2024
@abelsiqueira abelsiqueira modified the milestones: JuliaCon, 1.0 Jul 8, 2024
@abelsiqueira abelsiqueira modified the milestones: 1.0, 0.10.0 Aug 29, 2024
@abelsiqueira abelsiqueira linked a pull request Sep 9, 2024 that will close this issue
5 tasks
@abelsiqueira abelsiqueira modified the milestones: 0.10.0, 0.11.0 Sep 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore major Requires a new major release (0.x -> 0.x+1)
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant