Back to pull request #974

automerge auto-cherry-picked pr's #451

Sign in to view logs

Triggered via pull request review July 24, 2023 13:08

submitted ⁠ 43df7f5

Status Skipped

Total duration 2s

Artifacts –

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

automerge.yaml

on: pull_request_review

Automerge auto-cherry-picked pr