ext/date: various optimizations of _php_gettimeofday · php/php-src@f359d20

Triggered via pull request May 14, 2025 20:49

jorgsowa

opened #18560

Status Success

Total duration 37m 51s

Artifacts 1

push.yml

on: pull_request

Matrix: LINUX_X64

Matrix: MACOS_DEBUG_NTS

Produced during runtime

Name	Size	Digest
profiles Expired	9.94 MB	`sha256:bf0d17c7e1171b216c591f1a1a3ddd902f29ea7d3eacda20f81122a7d9c3117b`