Skip to content

Merge branch '7.0' into 7.1 #1

Merge branch '7.0' into 7.1

Merge branch '7.0' into 7.1 #1

Triggered via push December 19, 2023 17:46
Status Success
Total duration 49s
Artifacts

ci.yaml

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