Stable merge window for week 47 of 2023 #2619

Sign in to view logs

Triggered via pull request December 3, 2023 06:30

Eeems

edited #754

merge/2023-W47

Status Success

Total duration 9s

Artifacts –

pr-labels.yml

on: pull_request

Check that PRs against the stable branch are labelled correctly