From ce6433a508b27a0f2c0d19ba2597de791f8f7115 Mon Sep 17 00:00:00 2001 From: Jose Antonio Moral Date: Wed, 23 Dec 2020 11:29:15 +0100 Subject: [PATCH 1/2] Fix some tipos on RTOS FreeRTOS section --- _docs/overview/rtos/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_docs/overview/rtos/index.md b/_docs/overview/rtos/index.md index 9293120d..2d341cad 100644 --- a/_docs/overview/rtos/index.md +++ b/_docs/overview/rtos/index.md @@ -50,7 +50,7 @@ In this section, we review the main features of the three RTOSes supported offic ### **FreeRTOS** -FreeRTOS is distributed under the MIT license. It is know particularly for is simplicity and the extension a:FreeRTOS provided by Amazon. For micro-ROS, we make use of the POSIX extension. +FreeRTOS is distributed under the MIT license. It is known particularly for its simplicity and the extension a:FreeRTOS provided by Amazon. For micro-ROS, we make use of the POSIX extension.
From fa586b733ad73d1da1343abf82ecc87dab3ab6be Mon Sep 17 00:00:00 2001 From: Jose Antonio Moral Date: Wed, 23 Dec 2020 12:00:03 +0100 Subject: [PATCH 2/2] Ignore twitter links on CI --- scripts/cibuild | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/cibuild b/scripts/cibuild index f9056ca1..5a6cccdb 100755 --- a/scripts/cibuild +++ b/scripts/cibuild @@ -17,6 +17,7 @@ fi IGNORE_HREFS=${IGNORE_HREFS:+$IGNORE_HREFS,}$(ruby -e "puts %w{ vimeo.com omg.org + twitter.com ${ADDITIONS} }.map{|h| \"/#{h}/\"}.join(\",\")" )