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 back build pipelining #1689

Open
tgodzik opened this issue Feb 21, 2022 · 0 comments
Open

Add back build pipelining #1689

tgodzik opened this issue Feb 21, 2022 · 0 comments
Labels
difficulty / hard Any change that is hard to implement.

Comments

@tgodzik
Copy link
Contributor

tgodzik commented Feb 21, 2022

Pipelining was removed when migrating to newest version of Zinc. Since it's now supported within mainline Zinc, we should be able to support it properly with it.

Related issue #1383
@tgodzik tgodzik added the difficulty / hard Any change that is hard to implement. label Feb 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
difficulty / hard Any change that is hard to implement.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@tgodzik