adamfeuer commented on pull request #1647: URL: https://github.com/apache/incubator-nuttx/pull/1647#issuecomment-680258312
@v01d Yes, putting it directly in the `toctree` failed for me, so I think we need to do it this way. BTW I'm changing the Pipfile back to having "*" for its dependencies; the Pipfile.lock will hold the specific version that is used to do the last build by someone. That way we can easily check that new versions are working ok, while locking CI and everyday usage to specific known-good versions. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
