You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@singa.apache.org by GitBox <gi...@apache.org> on 2020/09/26 14:23:56 UTC
[GitHub] [singa-doc] chrishkchris opened a new pull request #31: Add optimizer and time-profiling pages
chrishkchris opened a new pull request #31:
URL: https://github.com/apache/singa-doc/pull/31
Adding the optimizer and time-profiling pages in the documentation
----------------------------------------------------------------
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] [singa-doc] chrishkchris commented on pull request #31: Add optimizer and time-profiling pages
Posted by GitBox <gi...@apache.org>.
chrishkchris commented on pull request #31:
URL: https://github.com/apache/singa-doc/pull/31#issuecomment-699614098
Ready for merge, thanks
----------------------------------------------------------------
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] [singa-doc] nudles merged pull request #31: Add optimizer and time-profiling pages
Posted by GitBox <gi...@apache.org>.
nudles merged pull request #31:
URL: https://github.com/apache/singa-doc/pull/31
----------------------------------------------------------------
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