Skip to content

/ servo

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

`worker_id` type changed to uuid #25211

Merged
merged 4 commits into from Dec 16, 2019

`WorkerId` changed to type UUID.

d5475fb
Select commit
5c56e66
`worker_id` type changed to uuid
kunalmohan Dec 8, 2019
d5475fb
`WorkerId` changed to type UUID.
kunalmohan Dec 9, 2019
d60f7d8
Undo changes done to change worker_id type to string
kunalmohan Dec 10, 2019
a892102
Make uuid optional and hide it behind servo feature in malloc_size_of
kunalmohan Dec 10, 2019
Merged

`worker_id` type changed to uuid #25211

`WorkerId` changed to type UUID.
d5475fb
Select commit
5c56e66
`worker_id` type changed to uuid
kunalmohan Dec 8, 2019
d5475fb
`WorkerId` changed to type UUID.
kunalmohan Dec 9, 2019
d60f7d8
Undo changes done to change worker_id type to string
kunalmohan Dec 10, 2019
a892102
Make uuid optional and hide it behind servo feature in malloc_size_of
kunalmohan Dec 10, 2019

Workflow runs completed with no jobs

You can’t perform that action at this time.