Skip to content

chore: change cmd gate code (DO NOT MERGE) #1694

chore: change cmd gate code (DO NOT MERGE)

chore: change cmd gate code (DO NOT MERGE) #1694

Triggered via pull request November 27, 2024 08:22
Status Success
Total duration 10s
Artifacts

pr-agent.yaml

on: pull_request
prevent-no-label-execution-pr-agent  /  prevent-no-label-execution
0s
prevent-no-label-execution-pr-agent / prevent-no-label-execution
Run pr agent on every pull request, respond to user comments
0s
Run pr agent on every pull request, respond to user comments
Fit to window
Zoom out
Zoom in

Annotations

1 notice
prevent-no-label-execution-pr-agent / prevent-no-label-execution
Please add the label 'tag:pr-agent' to run this workflow.