Skip to content

Allow pull requests Manually Merged option to be used by non-admins #11045

Allow pull requests Manually Merged option to be used by non-admins

Allow pull requests Manually Merged option to be used by non-admins #11045

Triggered via pull request October 29, 2023 14:15
Status Success
Total duration 10m 25s
Artifacts

pull-compliance.yml

on: pull_request
Fit to window
Zoom out
Zoom in