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
I've come across an issue in a build doc in #13336 and I think it's worth investigating, the PR was making the main doc build fails but the "make docs" was working and did not complain at all. I've fixed the issue in #13862.
I think it worth investigating why this is the case, I mean we do test locally the build with make docs and it would be nice that we can have a 1:1 representation of the build.
The text was updated successfully, but these errors were encountered:
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.
I've come across an issue in a build doc in #13336 and I think it's worth investigating, the PR was making the main doc build fails but the "make docs" was working and did not complain at all. I've fixed the issue in #13862.
I think it worth investigating why this is the case, I mean we do test locally the build with make docs and it would be nice that we can have a 1:1 representation of the build.
The text was updated successfully, but these errors were encountered: