Skip to content

CI: Split off flake8 linting in seperate job#133

Merged
quaquel merged 1 commit intoquaquel:masterfrom
EwoutH:ci-lint
May 18, 2022
Merged

CI: Split off flake8 linting in seperate job#133
quaquel merged 1 commit intoquaquel:masterfrom
EwoutH:ci-lint

Conversation

@EwoutH
Copy link
Copy Markdown
Collaborator

@EwoutH EwoutH commented May 18, 2022

This speeds up both the build and the new lint job, and ensures linting is only done once (which is enough).

The linter has some issues btw, this makes it easier to notice them too.

This speeds up both the build and the new lint job, and ensures linting is only done once (which is enough)
@quaquel quaquel merged commit 14488d7 into quaquel:master May 18, 2022
@coveralls
Copy link
Copy Markdown

Coverage Status

Coverage remained the same at 80.414% when pulling cf6e832 on EwoutH:ci-lint into e51ba21 on quaquel:master.

@EwoutH EwoutH mentioned this pull request May 30, 2022
@EwoutH EwoutH added the ci label Jul 5, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants