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

Fix documentation generation #335

Merged
merged 1 commit into from
Oct 25, 2023

Conversation

nirosys
Copy link
Contributor

@nirosys nirosys commented Oct 24, 2023

Issue #, if available: N/A

Description of changes:
At some point in the past few months the documentation generation job stopped working due to permissions. This might be related to issues we had when we moved to the amazon-ion org, when org level permissions changed, I'm not sure though.

This PR adds content: write permissions to the document generation Job, so that we can push doc changes.

Github now supports publishing to github pages via actions, an alternative to pushing to gh-pages branch, which might be worth looking into in order to see pros/cons, it feels gross to allow write access to a repo via GHA.


By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

@nirosys nirosys marked this pull request as ready for review October 24, 2023 21:39
@nirosys nirosys changed the title Fix document generation Fix documentation generation Oct 25, 2023
@nirosys nirosys requested review from linlin-s and cheqianh October 25, 2023 08:03
@nirosys nirosys merged commit c0b1138 into amazon-ion:master Oct 25, 2023
@nirosys nirosys deleted the rgiliam/fix_documentation_build branch January 10, 2025 22:29
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.

4 participants