Skip to content
This repository was archived by the owner on Mar 14, 2023. It is now read-only.

Fix rust-clippy.json #343

Merged
merged 1 commit into from
Jul 8, 2021
Merged

Conversation

flip1995
Copy link
Member

@flip1995 flip1995 commented Jul 8, 2021

This broke the rust-highfive bot for Clippy.

Should we (I can do that) add a GHA to verify that the json files are valid before merging?

This broke the rust-highfive bot for Clippy
@Mark-Simulacrum
Copy link
Member

Happy to accept a PR adding some validation!

@Mark-Simulacrum Mark-Simulacrum merged commit ab9ad47 into rust-lang:master Jul 8, 2021
@flip1995 flip1995 deleted the flip1995-patch-1 branch July 8, 2021 13:59
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.

2 participants