-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
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: Fix status reporting to throw on error #39663
Docs: Fix status reporting to throw on error #39663
Conversation
84091c7
to
5104662
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'd say this LGTM, but it might be good to hear if @fredrikekre sees any issues with this.
Why doesn't |
I believe it's because on GitHub actions there's more granularity than just success or fail, so the error is logged and Making I defer to @mortenpi though. |
Doing the dispatch here allows us to fix the problem without having to make changes to Documenter. But yea, arguably |
JuliaDocs/Documenter.jl#1529 is better I think |
I would like to put JuliaDocs/Documenter.jl#1529 into a minor release though, which will probably be a while, so it might be worth merging this as is and removing it when we update Documenter to 0.27 here. |
Fixed in Documenter. |
Doc deploy is currently broken, but hasn't been throwing. Dev docs may be quite out of date.
A
post_status
method was missing for the build bot config, meaning that on an error status no error was thrown and just the fall back method that returnsnothing
.This is evident because the
DOCUMENTER_KEY
appears to be broken in the build system but was just being printed as an@error
in a successfulmake deploy
step? @fredrikekre / @staticfloat ?This adds throws on "errored" or "failed" status so the build system can catch it.
cc. @mortenpi