Skip to content

Merge branch 'master' into release #18

Merge branch 'master' into release

Merge branch 'master' into release #18

Triggered via push December 9, 2025 14:54
Status Success
Total duration 2m 15s
Artifacts

mvn-release.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

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