Label pull requests

status: 2023q3: online editors: corrections #527

Sign in to view logs

Triggered via pull request October 27, 2023 18:13

synchronize #289

Status Success

Total duration 14s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

label-pull-requests.yml

on: pull_request_target

label-pull-requests