Skip to content

Merge pull request #288 #120

Merge pull request #288

Merge pull request #288 #120

Triggered via push December 24, 2025 15:34
Status Success
Total duration 11s
Artifacts
Update  /  Release Draft
8s
Update / Release Draft
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Update / Release Draft
"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
Update / Release Draft
"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
Update / Release Draft
"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
Update / Release Draft
"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)