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

📖 explicitly state both check documentation files are committed #4317

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

spencerschrock
Copy link
Contributor

What kind of change does this PR introduce?

doc update

What is the current behavior?

What is the new behavior (if this is a feature change)?**

Clarify that both check files should be committed in order to pass the generate-docs CI job.

- name: ensure generated check and probe documentation match the source
run: git diff --exit-code

  • Tests for the changes have been added (for bug fixes/features)

Which issue(s) this PR fixes

See #4316 (review)

Special notes for your reviewer

Does this PR introduce a user-facing change?

For user-facing changes, please add a concise, human-readable release note to
the release-note

(In particular, describe what changes users might need to make in their
application as a result of this pull request.)

NONE

Signed-off-by: Spencer Schrock <sschrock@google.com>
@spencerschrock
Copy link
Contributor Author

Friendly ping @raghavkaul @justaugustus

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: No status
Development

Successfully merging this pull request may close these issues.

1 participant