Skip to content

Merge branch 'php7dot4' into php8dot1 #10

Merge branch 'php7dot4' into php8dot1

Merge branch 'php7dot4' into php8dot1 #10

Re-run triggered March 12, 2024 14:13
Status Success
Total duration 3m 48s
Artifacts
Push Docker image to Docker Hub
3m 38s
Push Docker image to Docker Hub
Fit to window
Zoom out
Zoom in