Remove 'clippy' file #605

jpraynaud · 2022-11-22T10:31:56Z

Content

This PR includes a fix to remove an unwanted file clippy at the root of the repo.

⚠️ The goal is to test that the CI is triggered when a PR is created from a fork

Branch
- Commit sequence broadly makes sense
- Key commits have useful messages
PR
- No clippy warnings in the CI
- Self-reviewed the diff
- Useful pull request description
- Reviewer requested

Relates to #597

Unwanted file at the root of the repo.

jpraynaud requested a review from Alenar November 22, 2022 10:37

jpraynaud self-assigned this Nov 25, 2022

jpraynaud marked this pull request as draft November 25, 2022 17:29

jpraynaud had a problem deploying to testing-preview November 29, 2022 19:54 Failure

jpraynaud had a problem deploying to testing-preview November 30, 2022 08:33 Failure

ghubertpalo approved these changes Nov 30, 2022

View reviewed changes

Remove 'clippy' file

7cb9e65

Unwanted file at the root of the repo.

jpraynaud force-pushed the jpraynaud/remove-clippy-file branch from 017cc63 to 7cb9e65 Compare December 1, 2022 09:01

jpraynaud marked this pull request as ready for review December 1, 2022 09:22

jpraynaud merged commit de9f2c2 into input-output-hk:main Dec 1, 2022