Skip to content

Merge branch 'wikimedia-REL1_42' into REL1_42 #240

Merge branch 'wikimedia-REL1_42' into REL1_42

Merge branch 'wikimedia-REL1_42' into REL1_42 #240

Triggered via push October 1, 2024 19:45
Status Success
Total duration 36s
Artifacts

workflow.yml

on: push
Matrix: PHPLint v9
Fit to window
Zoom out
Zoom in