Skip to content

Conversation

jesseduffield
Copy link
Owner

Automated changes by create-pull-request GitHub action

@jesseduffield jesseduffield added the ignore-for-release This will exclude the PR from release notes label Jul 7, 2025
Copy link

codacy-production bot commented Jul 7, 2025

Coverage summary from Codacy

See diff coverage on Codacy

Coverage variation Diff coverage
Report missing for e7328331
Coverage variation details
Coverable lines Covered lines Coverage
Common ancestor commit (e732833) Report Missing Report Missing Report Missing
Head commit (84b057c) 57205 49715 86.91%

Coverage variation is the difference between the coverage for the head and common ancestor commits of the pull request branch: <coverage of head commit> - <coverage of common ancestor commit>

Diff coverage details
Coverable lines Covered lines Diff coverage
Pull request (#4710) 0 0 ∅ (not applicable)

Diff coverage is the percentage of lines that are covered by tests out of the coverable lines that the pull request added or modified: <covered lines added or modified>/<coverable lines added or modified> * 100%

See your quality gate settings    Change summary preferences

Footnotes

  1. Codacy didn't receive coverage data for the commit, or there was an error processing the received data. Check your integration for errors and validate that your coverage setup is correct.

@jesseduffield jesseduffield force-pushed the create-pull-request/patch branch 13 times, most recently from f2f4150 to aa60f3d Compare July 14, 2025 16:00
@jesseduffield jesseduffield force-pushed the create-pull-request/patch branch 2 times, most recently from 6cafb3b to ac57457 Compare July 18, 2025 16:31
@jesseduffield jesseduffield force-pushed the create-pull-request/patch branch 13 times, most recently from be563d5 to 7047be2 Compare August 1, 2025 08:32
@jesseduffield jesseduffield force-pushed the create-pull-request/patch branch 2 times, most recently from 14e2de3 to 71d8db7 Compare August 1, 2025 08:38
@jesseduffield jesseduffield force-pushed the create-pull-request/patch branch from 71d8db7 to 84b057c Compare August 1, 2025 09:10
@stefanhaller stefanhaller merged commit 5175798 into master Aug 2, 2025
13 checks passed
@stefanhaller stefanhaller deleted the create-pull-request/patch branch August 2, 2025 08:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ignore-for-release This will exclude the PR from release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants