Skip to content

changing logger and threadpool (#812) #276

changing logger and threadpool (#812)

changing logger and threadpool (#812) #276

Triggered via push August 11, 2025 21:22
Status Success
Total duration 10s
Artifacts
Update draft release notes
7s
Update draft release notes
Fit to window
Zoom out
Zoom in

Annotations

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