Skip to content

Conversation

@AA-Turner
Copy link
Member

Closes #158

A

@AA-Turner AA-Turner requested a review from pradyunsg October 2, 2024 17:26
Copy link
Collaborator

@pradyunsg pradyunsg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd like to also eventually add an alert or similar via the websocket for these errors, but we can make that improvement in a follow up separately. :)

@AA-Turner AA-Turner merged commit 1771311 into sphinx-doc:main Oct 2, 2024
@AA-Turner AA-Turner deleted the suffer-pre-build-failures branch October 2, 2024 22:24
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.

Server stops rebuilding on changes if the pre-build step fails

2 participants