Maintainer merge #8523
Triggered via pull request review
November 27, 2024 17:32
MichaelStollBayreuth
MichaelStollBayreuth
submitted
fdc072f
Status
Success
Total duration
10s
Artifacts
–
maintainer_merge.yml
on: pull_request_review
Ping maintainers on Zulip
2s