Skip to content

[Merged by Bors] - ci: add delegated reaction on Zulip in response to bors failure comment #3392

[Merged by Bors] - ci: add delegated reaction on Zulip in response to bors failure comment

[Merged by Bors] - ci: add delegated reaction on Zulip in response to bors failure comment #3392

Triggered via pull request September 12, 2025 19:53
Status Success
Total duration 20s
Artifacts

actionlint.yml

on: pull_request
actionlint
16s
actionlint
check workflows generated by build.in.yml
12s
check workflows generated by build.in.yml
Fit to window
Zoom out
Zoom in