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 2022/03/16 20:16:11 UTC
[GitHub] [incubator-nuttx] pkarashchenko opened a new pull request #5762: Revert "Zig build on NuttX"
pkarashchenko opened a new pull request #5762:
URL: https://github.com/apache/incubator-nuttx/pull/5762
Reverts apache/incubator-nuttx#5732
--
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-unsubscribe@nuttx.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [incubator-nuttx] pkarashchenko merged pull request #5762: Revert "Zig build on NuttX"
Posted by GitBox <gi...@apache.org>.
pkarashchenko merged pull request #5762:
URL: https://github.com/apache/incubator-nuttx/pull/5762
--
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-unsubscribe@nuttx.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [incubator-nuttx] pkarashchenko commented on pull request #5762: Revert "Zig build on NuttX"
Posted by GitBox <gi...@apache.org>.
pkarashchenko commented on pull request #5762:
URL: https://github.com/apache/incubator-nuttx/pull/5762#issuecomment-1069583044
Merging this PR to unblock CI on mainline
--
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-unsubscribe@nuttx.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org