New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Add custom obs JSON #971

Merged

acordonez merged 2 commits into main from ao_custom_obs_squashed

Aug 15, 2023

Collaborator

acordonez commented Aug 15, 2023 •

edited

Loading

Re-implement option for custom observations JSON. This PR has a cleaner commit history than the prior draft.


          add custom obs json

f30981c

acordonez requested a review from lee1043

August 15, 2023 20:55

lee1043 approved these changes

View reviewed changes


          Merge branch 'main' into ao_custom_obs_squashed

1c268e0

acordonez merged commit 2381f3e into main

acordonez deleted the ao_custom_obs_squashed branch

August 15, 2023 21:10

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet