Skip to content

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

Merged
yebai merged 1 commit intomainfrom
sg/DocsGHA
May 7, 2025
Merged

DocsGHA: Grant write permission to pull-requests event#441
yebai merged 1 commit intomainfrom
sg/DocsGHA

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.

@github-actions
Copy link
Contributor

github-actions bot commented May 7, 2025

AdvancedHMC.jl documentation for PR #441 is available at:
https://TuringLang.github.io/AdvancedHMC.jl/previews/PR441/

@yebai yebai merged commit c79a349 into main May 7, 2025
13 of 19 checks passed
@yebai yebai deleted the sg/DocsGHA branch May 7, 2025 15:21
@yebai
Copy link
Member

yebai commented May 7, 2025

Thanks @shravanngoswamii!

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