Re: [PR] docs: add description about local CI tests [nuttx]

2023-11-17 Thread via GitHub
raiden00pl merged PR #11209: URL: https://github.com/apache/nuttx/pull/11209 -- 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. To unsubscribe, e-mail: commits-unsubscr...@nuttx.a

Re: [PR] docs: add description about local CI tests [nuttx]

2023-11-17 Thread via GitHub
michallenc commented on PR #11209: URL: https://github.com/apache/nuttx/pull/11209#issuecomment-1816887225 > Could you please change headers according to https://nuttx.apache.org/docs/latest/contributing/documentation.html#headings Sure, done. -- This is an automated message from t

Re: [PR] docs: add description about local CI tests [nuttx]

2023-11-17 Thread via GitHub
raiden00pl commented on PR #11209: URL: https://github.com/apache/nuttx/pull/11209#issuecomment-1816861978 Could you please change headers according to https://nuttx.apache.org/docs/latest/contributing/documentation.html#headings -- This is an automated message from the Apache Git Service

[PR] docs: add description about local CI tests [nuttx]

2023-11-17 Thread via GitHub
michallenc opened a new pull request, #11209: URL: https://github.com/apache/nuttx/pull/11209 ## Summary This page adds description how to run CI tests locally. ## Impact Docs only. ## Testing Docs build. -- This is an automated message from the Apache Git Se