Skip to content

Merge pull request #780 from brenner-tobias/log-streaming #459

Merge pull request #780 from brenner-tobias/log-streaming

Merge pull request #780 from brenner-tobias/log-streaming #459

Triggered via push January 31, 2025 18:00
Status Success
Total duration 13s
Artifacts
workflows  /  ✏️ Draft release
5s
workflows / ✏️ Draft release
Fit to window
Zoom out
Zoom in

Annotations

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