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

more pipelines docs #1033

Merged
merged 11 commits into from
Mar 28, 2024
Merged

more pipelines docs #1033

merged 11 commits into from
Mar 28, 2024

Conversation

piotrm0
Copy link
Contributor

@piotrm0 piotrm0 commented Mar 27, 2024

Other details that are good to know but need not be announced:

  • Added information about how the PR merge protection rules related to the pipelines to the pipelines README.md .
  • Added a pipeline definition to run on PRs that affect the docs folder. The pipeline does nothing for now but will add some docs-based checks later.

@dosubot dosubot bot added size:S This PR changes 10-29 lines, ignoring generated files. documentation Improvements or additions to documentation labels Mar 27, 2024
@dosubot dosubot bot added size:M This PR changes 30-99 lines, ignoring generated files. and removed size:S This PR changes 10-29 lines, ignoring generated files. labels Mar 27, 2024
@piotrm0 piotrm0 requested a review from joshreini1 March 27, 2024 00:31
@dosubot dosubot bot added the lgtm This PR has been approved by a maintainer label Mar 27, 2024
@joshreini1 joshreini1 merged commit cbd6d36 into main Mar 28, 2024
4 checks passed
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 lgtm This PR has been approved by a maintainer size:M This PR changes 30-99 lines, ignoring generated files.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants