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

Screed PR tester should test for make doc output #811

Closed
SensibleSalmon opened this issue Feb 20, 2015 · 0 comments
Closed

Screed PR tester should test for make doc output #811

SensibleSalmon opened this issue Feb 20, 2015 · 0 comments
Assignees
@SensibleSalmon
Labels
screed
Milestone
unscheduled

Comments

@SensibleSalmon
Copy link
Contributor

I made a pull that broke 'make doc' functionality. Said pull got merged into Jenkins and then the "latest" screed docs broke. Pulls should have 'make doc' output tested to ensure it works.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@SensibleSalmon SensibleSalmon

Labels
screed
Projects
None yet
Milestone
unscheduled
Development

No branches or pull requests
3 participants
@luizirber @mr-c @SensibleSalmon