Delete merged branch of the backport PRs

Upgrade JSON to 20231013 to fix CVE-2023-5072 #1041

Sign in to view logs

Triggered via pull request October 17, 2023 15:00

derek-ho

closed #2307

derek-ho:json

Status Skipped

Total duration 4s

Artifacts –

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

delete_backport_branch.yml

on: pull_request