Skip to content

chore: remove redundant tags#536

Merged
azjezz merged 1 commit intonextfrom
remove-redundant-var
Sep 30, 2025
Merged

chore: remove redundant tags#536
azjezz merged 1 commit intonextfrom
remove-redundant-var

Conversation

@azjezz
Copy link
Copy Markdown
Member

@azjezz azjezz commented Sep 29, 2025

No description provided.

Signed-off-by: azjezz <azjezz@protonmail.com>
@coveralls
Copy link
Copy Markdown

Pull Request Test Coverage Report for Build 18113731695

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • 2 unchanged lines in 1 file lost coverage.
  • Overall coverage remained the same at 98.497%

Files with Coverage Reduction New Missed Lines %
src/Psl/DateTime/Internal/high_resolution_time.php 2 87.5%
Totals Coverage Status
Change from base Build 17871212902: 0.0%
Covered Lines: 5506
Relevant Lines: 5590

💛 - Coveralls

@azjezz azjezz merged commit 2fe2556 into next Sep 30, 2025
26 checks passed
@azjezz azjezz deleted the remove-redundant-var branch September 30, 2025 06:22
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