Skip to content
This repository was archived by the owner on Apr 28, 2025. It is now read-only.

Attempt to fix CI #181

Merged
merged 1 commit into from
Jun 5, 2019
Merged

Attempt to fix CI #181

merged 1 commit into from
Jun 5, 2019

Conversation

alexcrichton
Copy link
Member

No description provided.

@alexcrichton alexcrichton merged commit 9bbab43 into rust-lang:master Jun 5, 2019
@alexcrichton alexcrichton deleted the fix-ci branch June 5, 2019 19:25
tgross35 pushed a commit that referenced this pull request Apr 18, 2025
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