You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@nuttx.apache.org by GitBox <gi...@apache.org> on 2020/09/02 19:40:14 UTC

[GitHub] [incubator-nuttx-website] btashton opened a new pull request #30: Docs: Use pipenv to drive CI Sphinx build

btashton opened a new pull request #30:
URL: https://github.com/apache/incubator-nuttx-website/pull/30


   ## Summary
   This brings the website publishing for the docs in line with the changes from this PR https://github.com/apache/incubator-nuttx/pull/1698


----------------------------------------------------------------
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:
users@infra.apache.org

[GitHub] [incubator-nuttx-website] btashton commented on pull request #30: Docs: Use pipenv to drive CI Sphinx build

Posted by GitBox <gi...@apache.org>.
btashton commented on pull request #30:
URL: https://github.com/apache/incubator-nuttx-website/pull/30#issuecomment-685957965


   This will pass once the changes in the linked PR are merged in.


----------------------------------------------------------------
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:
users@infra.apache.org

[GitHub] [incubator-nuttx-website] v01d merged pull request #30: Docs: Use pipenv to drive CI Sphinx build

Posted by GitBox <gi...@apache.org>.
v01d merged pull request #30:
URL: https://github.com/apache/incubator-nuttx-website/pull/30


   


----------------------------------------------------------------
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:
users@infra.apache.org