Skip to content

Comments

Always run both public and private documentation checks#6707

Merged
zanieb merged 1 commit intomainfrom
zb/check-docs-public
Aug 27, 2024
Merged

Always run both public and private documentation checks#6707
zanieb merged 1 commit intomainfrom
zb/check-docs-public

Conversation

@zanieb
Copy link
Member

@zanieb zanieb commented Aug 27, 2024

Avoiding failures like #6705

Context in #6099

Test plan

Even though I opened the pull request, the public build was still tested.

@zanieb zanieb added the internal A refactor or improvement that is not user-facing label Aug 27, 2024
@zanieb zanieb enabled auto-merge (squash) August 27, 2024 17:28
@zanieb zanieb merged commit 6d38d42 into main Aug 27, 2024
@zanieb zanieb deleted the zb/check-docs-public branch August 27, 2024 17:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal A refactor or improvement that is not user-facing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant