Skip to content

Merge branch '7.3' into 7.4 #25820

Merge branch '7.3' into 7.4

Merge branch '7.3' into 7.4 #25820

Triggered via push November 12, 2025 15:06
Status Success
Total duration 50s
Artifacts

ci.yaml

on: push
Build (symfony-tools/docs-builder)
26s
Build (symfony-tools/docs-builder)
Lint (DOCtor-RST)
43s
Lint (DOCtor-RST)
Code Blocks
16s
Code Blocks
Fit to window
Zoom out
Zoom in