8000 Dottydoc fix by heksesang · Pull Request #787 · com-lihaoyi/mill · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Dottydoc fix #787

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

Closed
wants to merge 4 commits into from
Closed

Dottydoc fix #787

wants to merge 4 commits into from

Conversation

heksesang
Copy link
Contributor

Fix for #785, adds support for dottydoc in ScalaModule.docJar.

Copy link
Member
@lefou lefou left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks ok to me, but I don't use dotty.

@smarter, Could you please review this?

@smarter
Copy link
Contributor
smarter commented Mar 10, 2020

Looks fine to me but it's missing tests.

@lefou
Copy link
Member
lefou commented Mar 24, 2020

@smarter Thanks for your review.

@heksesang Do you intend to add a test case covering the dottydoc generation?

Besides, this branch has one merge conflict.

@heksesang
Copy link
Contributor Author

Yeah, I was thinking I'll add test cases once I have time for it.

@lefou lefou added the rebase-needed This pull request needs a git rebase before a merge is possible label Mar 31, 2020
@lefou
Copy link
Member
lefou commented Apr 23, 2020

bump

@jodersky jodersky mentioned this pull request May 24, 2020
@heksesang
Copy link
Contributor Author

Can close this now that #904 implements this.

@heksesang heksesang closed this May 30, 2020
@lefou lefou added this to the after 0.7.3 milestone Jun 1, 2020
@lefou lefou mentioned this pull request Feb 2, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
rebase-needed This pull request needs a git rebase before a merge is possible
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants
0