Skip to content

Merge branch 'release/7.2' into norbert/no-docs-addon-in-essentials-n… #13958

Merge branch 'release/7.2' into norbert/no-docs-addon-in-essentials-n…

Merge branch 'release/7.2' into norbert/no-docs-addon-in-essentials-n… #13958

Triggered via push July 18, 2023 21:00
Status Success
Total duration 28s
Artifacts
branch-checks
1s
branch-checks
get-next-release-branch
0s
get-next-release-branch
handle-latest
0s
handle-latest
create-next-release-branch
0s
create-next-release-branch
next-release-branch-check
0s
next-release-branch-check
request-create-frontpage-branch
0s
request-create-frontpage-branch
Fit to window
Zoom out
Zoom in