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

ci: if docs have errors, fail the PR #2065

Merged
merged 1 commit into from Jul 4, 2020
Merged

ci: if docs have errors, fail the PR #2065

merged 1 commit into from Jul 4, 2020

Conversation

paulpach
Copy link
Contributor

@paulpach paulpach commented Jul 3, 2020

With this change, if there are errors in the docs, then the PR will be marked as failed.

The docs appear to have some problems that have been overlooked. See this:
https://ci.appveyor.com/project/vis2k73562/hlapi-community-edition/builds/33894429

@sonarcloud
Copy link

sonarcloud bot commented Jul 3, 2020

Kudos, SonarCloud Quality Gate passed!

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities (and Security Hotspot 0 Security Hotspots to review)
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information

@miwarnec miwarnec merged commit d944291 into master Jul 4, 2020
@miwarnec miwarnec deleted the docaserror branch July 4, 2020 11:49
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.

None yet

2 participants