Close and merge PR

New heads subscription #1162

Sign in to view logs

Summary
Jobs
- merge_job
Run details
- Usage
- Workflow file

Triggered via pull request April 3, 2024 11:58

closed #1861

tudor/head_subscription

Status Success

Total duration 11s

Artifacts –

on-merged-pr.yml

on: pull_request