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

sequoia: 0.10.0 -> 0.11.0 #73177

Closed
wants to merge 1 commit into from
Closed

Conversation

@curiousleo
Copy link
Contributor

curiousleo commented Nov 10, 2019

Closed in favour of #73104.

- Tests succeed, so the package is no longer marked as "broken"
- Python bindings disabled to reduce build time to within Nix CI limits
@curiousleo curiousleo force-pushed the curiousleo:sequoia-0.10.0-0.11.0 branch from 9a384cd to 7513534 Nov 10, 2019
@curiousleo

This comment has been minimized.

Copy link
Contributor Author

curiousleo commented Nov 10, 2019

Build time > 3600 seconds (with Python bindings) seems excessive - I've reported this upstream: https://gitlab.com/sequoia-pgp/sequoia/issues/357

@doronbehar

This comment has been minimized.

Copy link
Contributor

doronbehar commented Nov 11, 2019

Hey, thanks for reporting the issue upstream. There's already a PR for the update: #73104

@doronbehar doronbehar mentioned this pull request Nov 11, 2019
5 of 10 tasks complete
@curiousleo

This comment has been minimized.

Copy link
Contributor Author

curiousleo commented Nov 11, 2019

Hey, thanks for reporting the issue upstream. There's already a PR for the update: #73104

Excellent! I'll close this PR.

@curiousleo curiousleo closed this Nov 11, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.