Skip to content

Merge pull request #1589 from jnoordsij/add-php8.5-rc #549

Merge pull request #1589 from jnoordsij/add-php8.5-rc

Merge pull request #1589 from jnoordsij/add-php8.5-rc #549

Triggered via push July 7, 2025 20:03
Status Success
Total duration 10s
Artifacts
Check For Uncomitted Changes
5s
Check For Uncomitted Changes
Fit to window
Zoom out
Zoom in