Skip to content

Merge branch 'php7dot4' into php8dot0 #61

Merge branch 'php7dot4' into php8dot0

Merge branch 'php7dot4' into php8dot0 #61

Triggered via push October 9, 2024 18:00
Status Success
Total duration 3m 45s
Artifacts
Push Docker image to Docker Hub
3m 34s
Push Docker image to Docker Hub
Fit to window
Zoom out
Zoom in