Back to pull request #754

Stable merge window for week 47 of 2023 #2618

Sign in to view logs

Triggered via pull request December 3, 2023 06:08

Eeems

edited #754

merge/2023-W47

Status Success

Total duration 12s

Artifacts –

pr-labels.yml

on: pull_request

Check that PRs against the stable branch are labelled correctly