Skip to content

Remove teyit linter - #657

Merged
claudep merged 1 commit into
jazzband:masterfrom
hugovk:rm-teyit
Jul 13, 2026
Merged

Remove teyit linter#657
claudep merged 1 commit into
jazzband:masterfrom
hugovk:rm-teyit

Conversation

@hugovk

@hugovk hugovk commented Jul 13, 2026

Copy link
Copy Markdown
Member

Re: discussion at #656 (review).

@hugovk hugovk added the changelog: skip Exclude PR from release draft label Jul 13, 2026
@codecov

codecov Bot commented Jul 13, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 93.22%. Comparing base (e2824d9) to head (9fd76e9).
⚠️ Report is 3 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #657      +/-   ##
==========================================
+ Coverage   93.16%   93.22%   +0.06%     
==========================================
  Files          29       29              
  Lines        3231     3261      +30     
==========================================
+ Hits         3010     3040      +30     
  Misses        221      221              

☔ View full report in Codecov by Harness.
📢 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.

@claudep claudep left a comment

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.

Thanks!

@claudep
claudep merged commit 8224ee2 into jazzband:master Jul 13, 2026
24 checks passed
@hugovk
hugovk deleted the rm-teyit branch July 17, 2026 21:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog: skip Exclude PR from release draft

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants