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.

Sign up for GitHub

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

Jump to bottom

Fix lint #12

Merged
merged 7 commits into from Jul 19, 2017
Merged

Fix lint #12

merged 7 commits into from Jul 19, 2017

Conversation

ahojukka5
Copy link
Member

Issue #11 .

@coveralls
Copy link

coveralls commented Jul 19, 2017 •
edited

Coverage Status

Coverage remained the same at 100.0% when pulling d4a783b on fix/lint into cf4f37f on master.

@coveralls
Copy link

Coverage Status

Coverage decreased (-0.7%) to 99.32% when pulling 5befc21 on fix/lint into cf4f37f on master.

@ahojukka5
changes
035fbd0 
- travis: add checkheader.jl
- travis: lint will cause error if failing
- docs/make: strict=false for documentation
- parse_model: fix 0.7 error
@ahojukka5
change package name in .travis.yml
47a6c15
@ahojukka5
add checkheader in other branch
29673d7
@coveralls
Copy link

Coverage Status

Coverage decreased (-0.7%) to 99.32% when pulling 29673d7 on fix/lint into cf4f37f on master.

@coveralls
Copy link

Coverage Status

Coverage decreased (-0.7%) to 99.32% when pulling 81f0860 on fix/lint into cf4f37f on master.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling 68e9779 on fix/lint into cf4f37f on master.

@ahojukka5 ahojukka5 merged commit e8128b6 into master Jul 19, 2017
@ahojukka5 ahojukka5 deleted the fix/lint branch July 19, 2017 14:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@ahojukka5 @coveralls