Skip to content

chore: update labels which can be added through comments #134

chore: update labels which can be added through comments

chore: update labels which can be added through comments #134

Triggered via pull request February 1, 2026 14:08
@joneugsterjoneugster
opened #780
Status Success
Total duration 7s
Artifacts

message_zulip_on_prs.yml

on: pull_request_target
run-script
3s
run-script
Fit to window
Zoom out
Zoom in