Add milestone to pull requests

chore: backport #11570 to 2.19 #8014

Sign in to view logs

Triggered via pull request January 14, 2025 10:23

juanjux

closed #11927

juanjux/2.19-merge-iast-inner-functions

Status Skipped

Total duration 2s

Artifacts –

set-target-milestone.yml

on: pull_request

Add milestone to merged pull requests