Pull Request Trigger

comment added #2094

Sign in to view logs

Triggered via pull request December 11, 2023 01:29

closed #5980

Status Success

Total duration 13s

Artifacts –

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

pull-request-trigger.yml

on: pull_request_target

Gather-Merged-PRs

Move-New-PRs-To-Project-Board

Delete-Closed-And-Unmerged-PRs

Delete-Merged-PRs