Skip to content

fix(star/goal_planner): improve start/goal planner #396

fix(star/goal_planner): improve start/goal planner

fix(star/goal_planner): improve start/goal planner #396

Triggered via pull request July 22, 2024 05:17
Status Success
Total duration 12s
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.