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

Ci lint #18

Merged
merged 3 commits into from
Dec 29, 2020
Merged

Conversation

danielvandenberg95
Copy link
Collaborator

Fixed some linting problems, and added a github CI pipeline that automatically lints new pull requests to ensure code compliance.

danielvandenberg95 and others added 3 commits December 29, 2020 12:01
No lint errors showed up when running under windows, but did in linux.
Coverage did not report when there were failing tests (e.g. in a CI environment.)
@danielvandenberg95
Copy link
Collaborator Author

If you wish to see the output of those checks, see https://github.com/danielvandenberg95/degiro-api/pull/4/checks.

@icastillejogomez
Copy link
Owner

Super cool pull request!!

@icastillejogomez icastillejogomez merged commit ac88484 into icastillejogomez:master Dec 29, 2020
@danielvandenberg95 danielvandenberg95 deleted the ci_lint branch December 30, 2020 15:28
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