Back to pull request #999

automerge auto-cherry-picked pr's #99

Sign in to view logs

Triggered via pull request review October 20, 2023 01:42

submitted ⁠ 843089b

Status Skipped

Total duration 3s

Artifacts –

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

auto_cherry_pick_merge.yaml

on: pull_request_review

Automerge auto-cherry-picked pr