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: Fix an error that slipped through CI. #547

Merged
merged 1 commit into from
Dec 12, 2023
Merged

Conversation

feanil
Copy link
Contributor

@feanil feanil commented Dec 12, 2023

You can't have different number of columns in different rows of a
list-table.

You can't have different number of columns in different rows of a
list-table.
@feanil
Copy link
Contributor Author

feanil commented Dec 12, 2023

This got through CI because it turns out that the docs build was not a required check before. I've updated the branch protection rules to require a passing docs build before merging PRs so it doesn't happen again and this should fix the error that I introduced when I merged #544

@feanil feanil merged commit 514f252 into master Dec 12, 2023
4 checks passed
@feanil feanil deleted the feanil/fix_doc_error branch December 12, 2023 14:31
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.

2 participants