Skip to content

⬆️ Update dependency coverage to v7.13.0 (#722) #715

⬆️ Update dependency coverage to v7.13.0 (#722)

⬆️ Update dependency coverage to v7.13.0 (#722) #715

Triggered via push December 22, 2025 09:31
Status Success
Total duration 37s
Artifacts
✏️ Draft release
34s
✏️ 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/)