Skip to content

Stable merge window for week 52 of 2023 #2897

Stable merge window for week 52 of 2023

Stable merge window for week 52 of 2023 #2897

Triggered via pull request January 3, 2024 07:50
@EeemsEeems
synchronize #812
merge/2023-W52
Status Success
Total duration 4m 16s
Artifacts 1

pr.yml

on: pull_request
Check that it conforms to the style guide
34s
Check that it conforms to the style guide
Check that it builds without error
3m 30s
Check that it builds without error
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
repo Expired
5.79 MB