Skip to content

API Make parameter non-optional for PHP 8.4 #531

API Make parameter non-optional for PHP 8.4

API Make parameter non-optional for PHP 8.4 #531

Triggered via push December 1, 2024 20:58
Status Success
Total duration 10m 38s
Artifacts 11

ci.yml

on: push
Matrix: CI / tests
CI  /  Check governance
0s
CI / Check governance
CI  /  Dispatch tag patch release
0s
CI / Dispatch tag patch release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
8.3 mysql80 endtoend root job1
41.4 KB
8.3 mysql80 endtoend root job2
128 KB
8.3 mysql80 endtoend root job3
94.3 KB
8.3 mysql80 js
29.2 KB
8.3 mysql80 phplinting
29.2 KB
8.3 mysql80 phpunit all
29.2 KB
8.3 prf-low mariadb phpunit all
29.3 KB
8.4 mysql84 endtoend root job1
41.6 KB
8.4 mysql84 endtoend root job2
41.9 KB
8.4 mysql84 endtoend root job3
41.5 KB
8.4 mysql84 phpunit all
29.2 KB