Label PRs

Generating docs failes if project is a git repository. #1828

Sign in to view logs

Triggered via issue October 9, 2023 05:37

Souvikns

commented on #461 b06d35b

Status Skipped

Total duration 4s

Artifacts –

automerge-for-humans-add-ready-to-merge-or-do-not-merge-label.yml

on: issue_comment

add-ready-to-merge-label

add-do-not-merge-label

add-autoupdate-label