Skip to content

Merge pull request #2392 from tiltingpenguin/main #156

Merge pull request #2392 from tiltingpenguin/main

Merge pull request #2392 from tiltingpenguin/main #156

Triggered via push June 19, 2025 23:11
Status Success
Total duration 7s
Artifacts
draft_release
5s
draft_release
Fit to window
Zoom out
Zoom in

Annotations

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