Skip to content

fix: final corrections and clean-up before publication #3

fix: final corrections and clean-up before publication

fix: final corrections and clean-up before publication #3

Triggered via push October 27, 2025 22:12
Status Success
Total duration 8s
Artifacts

draft.yml

on: push
dump-context
2s
dump-context
update-draft
5s
update-draft
Fit to window
Zoom out
Zoom in

Annotations

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