Skip to content

Run scripts/lint - #143

Merged
florimondmanca merged 1 commit into
masterfrom
lint
Aug 9, 2020
Merged

Run scripts/lint#143
florimondmanca merged 1 commit into
masterfrom
lint

Conversation

@florimondmanca

Copy link
Copy Markdown
Contributor

Hasn't been run for a while it seems, and scripts/check doesn't check for black or isort so we wouldn't have known…

Will submit a follow-up PR to add black --check and isort --check.

@florimondmanca
florimondmanca requested a review from a teamAugust 8, 2020 10:00
@lovelydinosaur

Copy link
Copy Markdown
Contributor

@florimondmanca@JayH5 Lovely stuff! I'll leave this in your hands. 😊

@florimondmanca
florimondmanca merged commit d82896b into masterAug 9, 2020
@florimondmanca
florimondmanca deleted the lint branch August 9, 2020 17:05
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@florimondmanca@lovelydinosaur@JayH5