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

Run CI for docs changes #3163

Merged
merged 2 commits into from Oct 19, 2022
Merged

Run CI for docs changes #3163

merged 2 commits into from Oct 19, 2022

Conversation

lucacome
Copy link
Member

We have a couple of required checks that need to pass for a PR to be merged. When there are only docs changes, the CI pipeline doesn't run, making it impossible to merge the PR. With this change, we will always run the CI unconditionally.

@lucacome lucacome requested a review from a team October 18, 2022 01:41
@lucacome lucacome self-assigned this Oct 18, 2022
@github-actions github-actions bot added the chore Pull requests for routine tasks label Oct 18, 2022
@codecov-commenter
Copy link

codecov-commenter commented Oct 18, 2022

Codecov Report

Merging #3163 (33675dd) into main (e4d01c9) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #3163   +/-   ##
=======================================
  Coverage   52.55%   52.55%           
=======================================
  Files          58       58           
  Lines       16070    16070           
=======================================
  Hits         8445     8445           
  Misses       7349     7349           
  Partials      276      276           

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@lucacome lucacome merged commit 7369881 into main Oct 19, 2022
@lucacome lucacome deleted the chore/run-ci-docs branch October 19, 2022 00:50
coolbry95 pushed a commit to coolbry95/kubernetes-ingress that referenced this pull request Nov 18, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Pull requests for routine tasks
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants