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

Reintegrate enabling of ZST #2640

Closed
JohanMabille opened this issue Jun 29, 2023 · 0 comments · Fixed by #2642
Closed

Reintegrate enabling of ZST #2640

JohanMabille opened this issue Jun 29, 2023 · 0 comments · Fixed by #2642

Comments

@JohanMabille
Copy link
Member

#2404 was passing the tests on May 15th; its merge on June 27th without rebase leads to failures in the CI. We should reopen the PR and fix the CI before merging.

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

Successfully merging a pull request may close this issue.

1 participant