Skip to content

Update workflows with correct permissions and secrets.#14

Merged
jouillet merged 3 commits intomainfrom
jmo/Update-workflows
May 1, 2025
Merged

Update workflows with correct permissions and secrets.#14
jouillet merged 3 commits intomainfrom
jmo/Update-workflows

Conversation

@jouillet
Copy link
Contributor

@jouillet jouillet commented Apr 30, 2025

PR Description

  • Update workflows with correct permissions and secrets.
  • Update workflows to use commit IDs to reference actions.

Changes

  • Update pre-merge workflow to use commit IDs and correct permissions
  • Update post-merge workflow to use commit IDs, correct permissions, and secrets
  • Update publish-docs workflow to use commit IDs, correct permissions, and disable simple_mode
  • Update labeler workflow to use commit IDs and limited permissions (per recommendations)

Additional Information

Include any additional information, such as how to test your changes.

Checklist

  • Tests passed
  • Documentation updated

@github-actions github-actions bot added the CI label Apr 30, 2025
@jouillet jouillet merged commit a4cd867 into main May 1, 2025
12 checks passed
@jouillet jouillet deleted the jmo/Update-workflows branch May 1, 2025 16:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants