Skip to content

Merge branch 'lint' into main #285

Merge branch 'lint' into main

Merge branch 'lint' into main #285

Triggered via push November 23, 2025 17:02
Status Success
Total duration 12s
Artifacts
Release Drafter
7s
Release Drafter
Fit to window
Zoom out
Zoom in

Annotations

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