v01d commented on pull request #1501: URL: https://github.com/apache/incubator-nuttx/pull/1501#issuecomment-674625715
> @v01d Hey, it looks like the [sphinx build passed](https://github.com/apache/incubator-nuttx/pull/1501/checks?check_run_id=991820110), but the [supported platforms page](https://v01d.github.io/incubator-nuttx/docs/introduction/supported_platforms.html) is still showing the old nonworking links in the table... am I missing something? Does the html get pushed some other way? I disabled the publishing to GH pages a few commits ago in preparation for the merge. I will make one more (manual) update of GH pages before requesting the merge so that others can see the updated result. In the future we should consider previewing doc PRs in someway. ---------------------------------------------------------------- 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: us...@infra.apache.org
