Label pull requests

status: 2023q3: online editors: corrections #525

Sign in to view logs

Triggered via pull request October 27, 2023 17:58

opened #289

Status Success

Total duration 19s

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