You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The issue was introduced in #958, where the push!, which was hidden away
in the DocTests.report function, got accidentally removed. It is not
clear from its name that the report function should have a side-effect
like this, so it is cleaner if the push! calls are next to the report
calls, even if it creates slight code duplication.
Fix#1003
The issue was introduced in #958, where the push!, which was hidden away
in the DocTests.report function, got accidentally removed. It is not
clear from its name that the report function should have a side-effect
like this, so it is cleaner if the push! calls are next to the report
calls, even if it creates slight code duplication.
Fix#1003
It seems Documenter 0.22 does not fail on doctest failure even with
strict = true
?See the example run on Travis:
The text was updated successfully, but these errors were encountered: