482: fix PHP_OS_FAMILY missing in PHP <7.2 with polyfill · php/pie@0dd84d6

Triggered via pull request January 19, 2026 17:11

asgrim

opened #484

Status Success

Total duration 19m 14s

Artifacts 1

continuous-integration.yml

on: pull_request

Matrix: unit-tests

Matrix: behaviour-tests

Matrix: bundled-php-extension-tests

Matrix: build-phar / build-phar

Produced during runtime

Name	Size	Digest
pie-f860d8d0d8fd87d2a525fe462b63b1b332840226.phar	2.32 MB	`sha256:5939a2a37b54b679ae2d993e918984b83fd653c8a5611b55ddb5d0ab10d8c5ce`