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

Just warn if doctest() fails to clean up #1526

Merged
merged 2 commits into from
Feb 14, 2021
Merged

Just warn if doctest() fails to clean up #1526

merged 2 commits into from
Feb 14, 2021

Conversation

mortenpi
Copy link
Member

@mortenpi mortenpi commented Feb 9, 2021

This should be enough to fix #1513 on Documenter's side, so that the tests would pass even if there are some issues with the cleanup. cc @timholy

@mortenpi mortenpi added this to the 0.26.2 milestone Feb 9, 2021
@mortenpi mortenpi mentioned this pull request Feb 11, 2021
@mortenpi mortenpi merged commit 6ad949c into master Feb 14, 2021
@mortenpi mortenpi deleted the mp/fix-1513 branch February 14, 2021 21:55
mortenpi added a commit that referenced this pull request Feb 14, 2021
@timholy
Copy link
Contributor

timholy commented Feb 14, 2021

Thanks, @mortenpi! Really appreciate this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

"Permission denied" when running doctests from runtests.jl
2 participants