Skip to content

Switch RTD build to fail on gallery example failure - #3619

Merged
alejoe91 merged 1 commit into
SpikeInterface:mainfrom
zm711:rtd-fail
Jan 14, 2025
Merged

Switch RTD build to fail on gallery example failure#3619
alejoe91 merged 1 commit into
SpikeInterface:mainfrom
zm711:rtd-fail

Conversation

@zm711

@zm711 zm711 commented Jan 14, 2025

Copy link
Copy Markdown
Member

I included our options in a comment to make it easier to edit in the future.

Fixes #3603

@zm711 zm711 added the documentation Improvements or additions to documentation label Jan 14, 2025
@h-mayorquin

Copy link
Copy Markdown
Contributor

This will require a change on the settings to add the passing of this check as a requirement for the pull request to be merged, right?

@zm711

zm711 commented Jan 14, 2025

Copy link
Copy Markdown
Member Author

I don't think we wanted it required. More just the shame of the red x rather than the green check. So that we are aware the PR caused problems.

@alejoe91
alejoe91 merged commit 01d1479 into SpikeInterface:main Jan 14, 2025
@h-mayorquin

Copy link
Copy Markdown
Contributor

Ah, got it wrong. Thanks, guys.

@zm711
zm711 deleted the rtd-fail branch April 25, 2025 19:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Should we fail doc build on broken example moving forward?

3 participants