Skip to content

Fix: Rename File to FilePath#1126

Merged
localheinz merged 1 commit intomainfrom
fix/rename
Dec 24, 2025
Merged

Fix: Rename File to FilePath#1126
localheinz merged 1 commit intomainfrom
fix/rename

Conversation

@localheinz
Copy link
Copy Markdown
Member

This pull request

  • renames File to FilePath

@localheinz localheinz self-assigned this Dec 24, 2025
@codecov
Copy link
Copy Markdown

codecov bot commented Dec 24, 2025

Codecov Report

❌ Patch coverage is 91.30435% with 2 lines in your changes missing coverage. Please review.
⚠️ Please upload report for BASE (main@ce40d1c). Learn more about missing BASE report.
⚠️ Report is 2 commits behind head on main.

Files with missing lines Patch % Lines
...rc/Collector/DefaultConstructFromFileCollector.php 87.50% 1 Missing ⚠️
...ector/DefaultConstructFromSplFileInfoCollector.php 80.00% 1 Missing ⚠️
Additional details and impacted files
@@           Coverage Diff           @@
##             main    #1126   +/-   ##
=======================================
  Coverage        ?   71.92%           
  Complexity      ?       99           
=======================================
  Files           ?       18           
  Lines           ?      317           
  Branches        ?        0           
=======================================
  Hits            ?      228           
  Misses          ?       89           
  Partials        ?        0           

☔ 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.

@localheinz localheinz merged commit 84ddd0a into main Dec 24, 2025
30 checks passed
@localheinz localheinz deleted the fix/rename branch December 24, 2025 14:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants