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

feat: CI job for checking documentation generation #816

Merged
merged 1 commit into from
Jan 30, 2023

Conversation

mateusoliveira43
Copy link
Collaborator

Signed-off-by: Mateus Oliveira msouzaol@redhat.com

Describe the behavior changes introduced in this PR

Create a CI job to automatically warn us about documentation problems.

Linked Issues

resolves #758

Testing Instructions

Check CI logs and run make doc-check

@mpryc
Copy link
Collaborator

mpryc commented Jan 30, 2023

There are conflicts to be resolved in this PR.

@openshift-merge-robot openshift-merge-robot added the needs-rebase Indicates a PR cannot be merged because it has merge conflicts with HEAD. label Jan 30, 2023
Signed-off-by: Mateus Oliveira <msouzaol@redhat.com>
@openshift-merge-robot openshift-merge-robot removed the needs-rebase Indicates a PR cannot be merged because it has merge conflicts with HEAD. label Jan 30, 2023
@mpryc
Copy link
Collaborator

mpryc commented Jan 30, 2023

/lgtm

@openshift-ci openshift-ci bot added the lgtm Indicates that a PR is ready to be merged. label Jan 30, 2023
@openshift-ci
Copy link

openshift-ci bot commented Jan 30, 2023

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: mpryc

The full list of commands accepted by this bot can be found here.

The pull request process is described here

Needs approval from an approver in each of these files:

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment

@mpryc mpryc merged commit f3627b1 into dora-metrics:master Jan 30, 2023
@openshift-ci openshift-ci bot added the approved Indicates a PR has been approved by an approver from all required OWNERS files. label Jan 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
approved Indicates a PR has been approved by an approver from all required OWNERS files. dco-signoff: yes lgtm Indicates that a PR is ready to be merged.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

CI job to catch broken links in our documentation
3 participants