Skip to content

Merge branch 'php8dot1' into php8dot2 #22

Merge branch 'php8dot1' into php8dot2

Merge branch 'php8dot1' into php8dot2 #22

Triggered via push March 12, 2024 18:37
Status Success
Total duration 3m 49s
Artifacts
Push Docker image to Docker Hub
3m 41s
Push Docker image to Docker Hub
Fit to window
Zoom out
Zoom in