pr

Stable merge window for week 47 of 2023 #2585

Sign in to view logs

Triggered via pull request November 23, 2023 21:44

Eeems

synchronize #754

merge/2023-W47

Status Success

Total duration 42m 34s

Artifacts 1

pr.yml

on: pull_request

Check that it conforms to the style guide

Check that it builds without error

Artifacts

Produced during runtime

Name	Size
repo Expired	136 MB