Skip to content
PR Closed

Use the GitHub API to get the label's node ID #1258

Sign in to view logs

Use the GitHub API to get the label's node ID

Use the GitHub API to get the label's node ID #1258

Triggered via pull request December 8, 2023 05:49
@dhruvkbdhruvkb
closed #3483
fix_label_infra
Status Success
Total duration 21s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pr_closed.yml

on: pull_request
Clean GH Pages preview
12s
Clean GH Pages preview
Fit to window
Zoom out
Zoom in