Fix for upcoming PHP 8.5 deprecation, casting to double is no longer … #2836
Triggered via pull request
October 28, 2025 14:30
romainruaud
romainruaud
labeled
#3732
Status
Success
Total duration
20m 7s
Artifacts
–