Skip to content

Conversation

@knuesel
Copy link
Contributor

@knuesel knuesel commented Feb 3, 2021

This PR removes a warning from the documentation and from the CI output, saying that GitHub Page builds are not triggered when using a GitHub token for authentication.

As discussed in #1177, the build trigger seems to be fixed now. I tested the following scenarios:

  • Direct push
  • Merging a pull request
  • Pushing a tag to an older commit

These tests were made without pushing a commit manually to the gh-pages. The Pages build was correctly triggered in all cases.

Note that there is still a warning in the documentation for tags created with GitHub tokens (e.g. by TagBot).

Closes #1177

@mortenpi
Copy link
Member

mortenpi commented Feb 11, 2021

LGTM, I can also confirm that the pages builds seem to be triggered without any issues, so these warnings are no longer necessary. Thanks @knuesel!

Although I think it's still worth emphasizing that the user probably needs to set up a DOCUMENTER_KEY because of the TagBot issue.

@mortenpi mortenpi merged commit 8d75805 into JuliaDocs:master Feb 11, 2021
mortenpi pushed a commit that referenced this pull request Feb 14, 2021
@mortenpi mortenpi mentioned this pull request Feb 14, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

GitHub Pages build not triggered with GITHUB_TOKEN

2 participants