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

build: add a lint step in CI #153

Merged
merged 2 commits into from
Dec 27, 2018
Merged

build: add a lint step in CI #153

merged 2 commits into from
Dec 27, 2018

Conversation

moul
Copy link
Owner

@moul moul commented Dec 27, 2018

┆Issue is synchronized with this Trello card

@guardrails
Copy link

guardrails bot commented Dec 27, 2018

No more findings on this branch.
This means you fixed everything we detected earlier. Good job!! 👍🎉

We will keep this comment up-to-date as you go along and notify you of any security issues that we identify.

@moul moul force-pushed the dev/moul/lint branch 4 times, most recently from 3082435 to 12db6b2 Compare December 27, 2018 15:09
@moul moul merged commit 9f50f81 into master Dec 27, 2018
@moul moul deleted the dev/moul/lint branch December 27, 2018 15:14
@trafico-bot trafico-bot bot added the ✨ Merged Pull Request has been merged successfully label Dec 24, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
✨ Merged Pull Request has been merged successfully
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant