Skip to content

DocsGHA: Grant write permission to pull-requests event #162

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

Merged
merged 1 commit into from
May 7, 2025
Merged

Conversation

shravanngoswamii
Copy link
Member

To enable the Documenter.jl preview comment URL in PRs, write permissions are required for the pull_request event in GHA. This change grants the necessary permissions. See related PR for the comment feature: TuringLang/actions#19.

To enable the Documenter.jl preview comment URL in PRs, write permissions are required for the `pull_request` event in GHA. This change grants the necessary permissions. See related PR for the comment feature: TuringLang/actions#19.
Copy link
Contributor

github-actions bot commented May 7, 2025

TuringGLM.jl documentation for PR #162 is available at:
https://TuringLang.github.io/TuringGLM.jl/previews/PR162/

Copy link
Member

@storopoli storopoli left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ACK 74d361c

@storopoli storopoli enabled auto-merge (squash) May 7, 2025 14:53
@storopoli storopoli merged commit e914739 into main May 7, 2025
5 checks passed
@storopoli storopoli deleted the sg/DocsGHA branch May 7, 2025 15:11
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.

2 participants