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

docs: print extra information when deploying #46030

Merged
merged 1 commit into from
Jul 14, 2022

Conversation

mortenpi
Copy link
Contributor

Mainly to print out a little bit of information why deployment doesn't happen. Currently, if the deploy config sets all_ok=false, then the whole deploydocs call will be completely silent. Should help us debug the current Buildkite failure.

It also makes the deploydocs call conditional on deploy argument being passed, which I think is good idea since we're relying less on various CI variables telling us that whether we should deploy or not than we used to. Basically, I believe right now, if you set DOCUMENTER_KEY, deploydocs might try to do something, even if you're just building docs locally.

cc @staticfloat, @fredrikekre

@mortenpi mortenpi added the docs This change adds or pertains to documentation label Jul 13, 2022
@DilumAluthge DilumAluthge merged commit b3b229e into JuliaLang:master Jul 14, 2022
@mortenpi mortenpi deleted the mp/docdebug branch July 14, 2022 22:56
ffucci pushed a commit to ffucci/julia that referenced this pull request Aug 11, 2022
pcjentsch pushed a commit to pcjentsch/julia that referenced this pull request Aug 18, 2022
@DilumAluthge DilumAluthge added the backport 1.8 Change should be backported to release-1.8 label Sep 5, 2022
@mortenpi mortenpi added docsystem The documentation building system and removed docs This change adds or pertains to documentation labels Sep 5, 2022
KristofferC pushed a commit that referenced this pull request Sep 7, 2022
@KristofferC KristofferC mentioned this pull request Sep 7, 2022
28 tasks
@KristofferC KristofferC removed the backport 1.8 Change should be backported to release-1.8 label Sep 30, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docsystem The documentation building system
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants