pr-labels

Stable merge for week 22 of 2014 #3394

Sign in to view logs

Triggered via pull request June 4, 2024 20:00

Eeems

edited #877

merge/2024-W22

Status Success

Total duration 14s

Artifacts –

pr-labels.yml

on: pull_request

Check that PRs against the stable branch are labelled correctly