Skip to content

Check Indentation#115

Draft
pantor wants to merge 28 commits intomasterfrom
pantor/check-indentation
Draft

Check Indentation#115
pantor wants to merge 28 commits intomasterfrom
pantor/check-indentation

Conversation

@pantor
Copy link
Copy Markdown
Contributor

@pantor pantor commented Sep 25, 2019

Adds an indentation check to vala-lint (fix #34). As this is quite a complex check, we should test this PR extensively before merging.

@kgrubb kgrubb self-requested a review September 25, 2019 17:05
@kgrubb
Copy link
Copy Markdown
Collaborator

kgrubb commented Oct 7, 2019

one thing i've noticed while using this branch is that the build directory is included in error output: Screenshot from 2019-10-07 12-56-37

@pantor pantor marked this pull request as draft May 4, 2020 11:07
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.

Test for indentation

2 participants