Skip to content
Maintainer merge

Maintainer merge #40623

Sign in to view logs

Maintainer merge

Maintainer merge #40623

Triggered via pull request review February 18, 2025 14:31
@Raph-DGRaph-DG
submitted ⁠ 07d6cda
Status Success
Total duration 10s
Artifacts –

maintainer_merge.yml

on: pull_request_review
Ping maintainers on Zulip
2s
Ping maintainers on Zulip
Fit to window
Zoom out
Zoom in