Skip to content

Skip building readthedocs if a bot made the commit#3284

Open
ZedThree wants to merge 1 commit intonextfrom
readthedocs-skip-bot-commits
Open

Skip building readthedocs if a bot made the commit#3284
ZedThree wants to merge 1 commit intonextfrom
readthedocs-skip-bot-commits

Conversation

@ZedThree
Copy link
Member

Closes #3280

Skips if commit contains either "[bot]" or "[skip ci]"

This commit should be skipped!

Closes #3280

Skips if commit contains either "[bot]" or "[skip ci]"

This commit should be skipped!
@ZedThree
Copy link
Member Author

Bah, this still reports the test as having run. I don't think this will actually help the issue

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.

1 participant