Skip to content

Issues #5881: Add github-handle field #2074

Issues #5881: Add github-handle field

Issues #5881: Add github-handle field #2074

Triggered via pull request December 2, 2023 09:47
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
0s
Gather-Merged-PRs
Hello-World
0s
Hello-World
Move-New-PRs-To-Project-Board
2s
Move-New-PRs-To-Project-Board
Delete-Closed-And-Unmerged-PRs
0s
Delete-Closed-And-Unmerged-PRs
Delete-Merged-PRs
0s
Delete-Merged-PRs
Fit to window
Zoom out
Zoom in