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

Fix CI broken make check-docs #5000

Merged
merged 2 commits into from
Dec 27, 2021
Merged

Conversation

hanjm
Copy link
Member

@hanjm hanjm commented Dec 26, 2021

  • I added CHANGELOG entry for this change.
  • Change is not relevant to the end user.

Changes

  1. exec make docs to fix CI broken make check-docs

Verification

  1. CI

Signed-off-by: Jimmie Han <hanjinming@outlook.com>
Signed-off-by: Jimmie Han <hanjinming@outlook.com>
Copy link
Member

@squat squat left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice find @hanjm

@squat squat enabled auto-merge (squash) December 26, 2021 09:31
@squat squat disabled auto-merge December 27, 2021 09:13
@squat squat merged commit b828d00 into thanos-io:main Dec 27, 2021
squat pushed a commit that referenced this pull request Jan 2, 2022
* [Website] Fixed community button collapse

Signed-off-by: Nikhil Sharma <nikhilsharmamusic2000@gmail.com>

* compactor: make time filter take first (#5001)

Signed-off-by: Jimmie Han <hanjinming@outlook.com>

* Fix CI broken `make check-docs` (#5000)

* docs: make CI `check-docs` happy

Signed-off-by: Jimmie Han <hanjinming@outlook.com>

* docs: fix check-docs

Signed-off-by: Jimmie Han <hanjinming@outlook.com>

Co-authored-by: Jimmie Han <hanjinming@outlook.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants