Skip to content

Merge pull request #132 #135

Merge pull request #132

Merge pull request #132 #135

Triggered via push September 14, 2025 14:12
Status Success
Total duration 1m 4s
Artifacts 1
Drafter  /  Release Draft
7s
Drafter / Release Draft
App  /  Create a Pull Request
12s
App / Create a Pull Request
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size Digest
notifications Expired
8.84 MB
sha256:58cbcde06483b1506fb6c739c6e18eb8bdd8a59c850e800b3bef9b80b33a2d13