Skip to content
This repository has been archived by the owner on Dec 18, 2019. It is now read-only.

Fail compilation of no documentation on a public item #105

Merged
merged 3 commits into from May 24, 2017

Conversation

Hywan
Copy link
Member

@Hywan Hywan commented May 24, 2017

If a public item is not documented, force the compiler to fail.

Hywan added 2 commits May 24, 2017 10:10
If a documentation is missing on a public item, force the compiler to fail.
@coveralls
Copy link

coveralls commented May 24, 2017

Coverage Status

Coverage remained the same at 93.502% when pulling f6aaaa3 on Hywan:deny_missing_docs into e7aa963 on tagua-vm:master.

@coveralls
Copy link

coveralls commented May 24, 2017

Coverage Status

Coverage remained the same at 93.502% when pulling 0de8ace on Hywan:deny_missing_docs into e7aa963 on tagua-vm:master.

@Hywan Hywan merged commit 0de8ace into tagua-vm:master May 24, 2017
@Hywan Hywan removed the in progress label May 24, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants