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.

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

Provide API for getting all map specs #202

Merged
merged 1 commit into from
Oct 29, 2024
Merged

Conversation

usamasaqib
Copy link
Contributor

What does this PR do?

A brief description of the change being made with this pull request.

Motivation

What inspired you to submit this pull request?

Additional Notes

Anything else we should know when reviewing?

Describe how to test your changes

Write here in detail how you have tested your changes and instructions on how this should be tested.

@usamasaqib usamasaqib requested a review from a team as a code owner October 24, 2024 15:38
@brycekahle
Copy link
Member

/merge

@dd-devflow
Copy link

dd-devflow bot commented Oct 29, 2024

🚂 MergeQueue: waiting for PR to be ready

This merge request is not mergeable yet, because of pending checks/missing approvals. It will be added to the queue as soon as checks pass and/or get approvals.
Note: if you pushed new commits since the last approval, you may need additional approval.
You can remove it from the waiting list with /remove command.

Use /merge -c to cancel this operation!

@dd-devflow
Copy link

dd-devflow bot commented Oct 29, 2024

🚂 MergeQueue: pull request added to the queue

The median merge time in main is 0s.

Use /merge -c to cancel this operation!

@dd-mergequeue dd-mergequeue bot merged commit c11e696 into main Oct 29, 2024
4 checks passed
@dd-mergequeue dd-mergequeue bot deleted the usama.saqib/get-map-specs branch October 29, 2024 18:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants