New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

In safe Env, out_of_road = out_of_route #527

Merged

QuanyiLi merged 2 commits into main from safe-env

Aug 22, 2021

Collaborator

QuanyiLi commented Aug 22, 2021

What changes do you make in this PR?

Please describe why you create this PR

Checklist

I have merged the latest main branch into current branch.
I have run bash scripts/format.sh before merging.
Please use "squash and merge" mode.

QuanyiLi added 2 commits

August 23, 2021 00:11


          safeenv:out_of_road = out_of_route

e0b7809


          fix env

31c0fcc

QuanyiLi merged commit be692ee into main

QuanyiLi deleted the safe-env branch

August 22, 2021 16:20

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet