Skip to content

Merge branch 'main' of github.com:paulopatto/dotfiles #91

Merge branch 'main' of github.com:paulopatto/dotfiles

Merge branch 'main' of github.com:paulopatto/dotfiles #91

Triggered via push January 30, 2026 03:47
Status Success
Total duration 10s
Artifacts
Generate Release version by release-drafter
5s
Generate Release version by release-drafter
Fit to window
Zoom out
Zoom in

Annotations

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