Skip to content

Conversation

@tamird
Copy link
Contributor

@tamird tamird commented Dec 2, 2020

Per discussion with @asomers in #1285.

@asomers
Copy link
Member

asomers commented Dec 3, 2020

This is going to fail without other changes. Let's just cancel this PR and fix Redox in PR #1327 , which is already open.

@asomers asomers closed this Dec 3, 2020
@tamird tamird deleted the fix-redox-ci branch December 3, 2020 00:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants