Auto merge DevKit PRs

5.2.0 #139

Sign in to view logs

Summary
Jobs
- auto-merge
Run details
- Usage
- Workflow file

Triggered via pull request May 16, 2025 20:07

labeled #1233

Status Skipped

Total duration 1s

Artifacts –

auto-merge-dev-kit.yaml

on: pull_request_target