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

add clippy to ci #618

Merged
merged 1 commit into from
Jun 25, 2020
Merged

add clippy to ci #618

merged 1 commit into from
Jun 25, 2020

Conversation

jbr
Copy link
Member

@jbr jbr commented Jun 25, 2020

No description provided.

@Fishrock123
Copy link
Member

(Why didn't Ci run here?) Does this need http-rs/http-types@53fd6a6#diff-60fe268f71ae7f8409aff40d0a3e51d8R29?

@jbr jbr force-pushed the add-clippy-to-ci branch 2 times, most recently from 2bbb09e to 8ef9758 Compare June 25, 2020 20:45
@jbr jbr merged commit 1797c0e into http-rs:master Jun 25, 2020
Fishrock123 added a commit to Fishrock123/surf that referenced this pull request Jul 16, 2020
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