Merge the current PR

merge-command #1580

Sign in to view logs

Summary
Jobs
- Merge
Run details
- Usage
- Workflow file

Triggered via repository dispatch November 20, 2025 15:43

merge-command ⁠ e4a03db

Status Success

Total duration 16s

Artifacts –

merge.yml

on: repository_dispatch