Skip to content

ci: remove lint.dependabot as part of lint#7484

Closed
zirain wants to merge 1 commit intoenvoyproxy:mainfrom
zirain:lint.dependabot
Closed

ci: remove lint.dependabot as part of lint#7484
zirain wants to merge 1 commit intoenvoyproxy:mainfrom
zirain:lint.dependabot

Conversation

@zirain
Copy link
Copy Markdown
Member

@zirain zirain commented Nov 10, 2025

this flaky often recently

Signed-off-by: zirain <zirain2009@gmail.com>
@zirain zirain requested a review from a team as a code owner November 10, 2025 23:30
@zirain zirain mentioned this pull request Nov 10, 2025
@codecov
Copy link
Copy Markdown

codecov bot commented Nov 10, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 72.25%. Comparing base (d1b87c0) to head (528fb83).
⚠️ Report is 9 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #7484      +/-   ##
==========================================
- Coverage   72.34%   72.25%   -0.10%     
==========================================
  Files         231      231              
  Lines       34071    34071              
==========================================
- Hits        24650    24618      -32     
- Misses       7653     7676      +23     
- Partials     1768     1777       +9     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

markdownlint -c .github/markdown_lint_config.json site/content/*

.PHONY: lint.dependabot
lint: lint.dependabot
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

lets add a comment to enable once its no longer flaky ?

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

it's normal now, but no idea when would it will be broken again.

@zirain
Copy link
Copy Markdown
Member Author

zirain commented Nov 14, 2025

back to normal, we didn't need this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants