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

Use EventPriority to track update priority #21082

Merged
merged 1 commit into from
Mar 25, 2021
Merged

Use EventPriority to track update priority #21082

merged 1 commit into from
Mar 25, 2021

Commits on Mar 25, 2021

  1. Use EventPriority to track update priority 

    Instead of LanePriority. Internally, EventPriority is just a lane, so
this skips an extra conversion. Since EventPriority is a "public" (to
the host config) type, I was also able to remove some deep imports
of the Lane module.

This gets us most of the way to deleting the LanePriority entirely.
    @acdlite
    acdlite committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    4b7ff7f View commit details
    Browse the repository at this point in the history