Skip to content

Fix elapsed time format for result cache restore time#3890

Merged
ondrejmirtes merged 2 commits intophpstan:2.1.xfrom
janedbal:result-cache-restore-fix-digits
Mar 25, 2025
Merged

Fix elapsed time format for result cache restore time#3890
ondrejmirtes merged 2 commits intophpstan:2.1.xfrom
janedbal:result-cache-restore-fix-digits

Conversation

@janedbal
Copy link
Contributor

Before: Result cache restored in 6.400000 seconds.
Now: Result cache restored in 6.4 seconds.

@janedbal janedbal changed the title Result cache restore fix digits Fix elapsed time format for result cache restore time Mar 20, 2025
@ondrejmirtes ondrejmirtes merged commit 084a0a4 into phpstan:2.1.x Mar 25, 2025
416 of 418 checks passed
@ondrejmirtes
Copy link
Member

Thank you!

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