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

Have doc builder submit build report for target only #31

Closed
edsko opened this issue Aug 31, 2013 · 1 comment
Closed

Have doc builder submit build report for target only #31

edsko opened this issue Aug 31, 2013 · 1 comment
Labels
component: doc builder enhancement High Priority

Comments

@edsko
Copy link
Contributor

edsko commented Aug 31, 2013

At the moment the doc builder submits build reports for all packages it builds. Since it rebuilds all dependencies for all cases, that means that for some packages we submit the same build report over and over again (the beta hackage 2 server already has 112,000 build reports, after a few days of doc building, with some packages nearly 2000 build reports).
@edsko
Copy link
Contributor Author

edsko commented Aug 31, 2013

Marked as high priority because as things stand the build reports are actually taking up a large amount of time (during backpu generation), for instance.

@edsko edsko mentioned this issue Sep 2, 2013
Closed
@edsko edsko closed this as completed in 6b97db5 Sep 6, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
component: doc builder enhancement High Priority
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@edsko