Skip to content

Add linting to CircleCI & to the Makefile. #418

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

Merged

Conversation

Blokje5
Copy link
Collaborator

@Blokje5 Blokje5 commented Sep 27, 2020

To ensure every PR checks go formatting & linting

@Blokje5 Blokje5 force-pushed the feat/add-linting-to-pipeline branch 2 times, most recently from 58c9203 to bd2238d Compare September 27, 2020 13:45
Signed-off-by: Lennard Eijsackers <lennardeijsackers92@gmail.com>
@Blokje5 Blokje5 force-pushed the feat/add-linting-to-pipeline branch from bd2238d to a12c0d2 Compare September 27, 2020 13:47
Signed-off-by: Lennard Eijsackers <lennardeijsackers92@gmail.com>
@Blokje5 Blokje5 force-pushed the feat/add-linting-to-pipeline branch from 0686304 to 85e321b Compare September 28, 2020 19:38
@jpreese
Copy link
Member

jpreese commented Sep 29, 2020

LGTM 🎉

@jpreese jpreese self-requested a review September 29, 2020 23:42
@jpreese jpreese merged commit b34aa10 into open-policy-agent:master Sep 29, 2020
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