Skip to content
This repository has been archived by the owner on Jan 13, 2025. It is now read-only.

Hoist if to job level #190

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

jsoref
Copy link

@jsoref jsoref commented Sep 20, 2022

This speeds up dispatch and makes the user experience better.

Before

image

After

image

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant