Skip to content
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

Add CircleCI badge #14

Open
eugenevinitsky opened this issue Jun 23, 2022 · 0 comments
Open

Add CircleCI badge #14

eugenevinitsky opened this issue Jun 23, 2022 · 0 comments
Assignees
@eugenevinitsky
Labels
enhancement New feature or request

Comments

@eugenevinitsky
Copy link
Collaborator

We already have tests run but no badge confirming that they have passed
@eugenevinitsky eugenevinitsky added the enhancement New feature or request label Jun 23, 2022
@eugenevinitsky eugenevinitsky self-assigned this Jun 23, 2022
Mathijs995 pushed a commit to Mathijs995/nocturne that referenced this issue Jan 7, 2024
@daphne-cornelisse
Merge pull request facebookresearch#14 from Emerge-Lab/ap_roadpoints
f759836 
Add road points reducing algorithm
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@eugenevinitsky eugenevinitsky

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@eugenevinitsky