[riot-notifications] [RIOT-OS/RIOT] dist/tools/vera++: annotate errors in Github Action (#15753)

José Alamos notifications at github.com
Wed Jan 13 11:00:53 CET 2021


@jia200x commented on this pull request.



> +# Uncomment when the script should error
+# RESULT=${PIPESTATUS[0]}
+
+if github_annotate_is_on; then
+    _annotate() {
+        FILENAME=$(echo "${line}" | cut -d: -f1)
+        LINENUM=$(echo "${line}" | cut -d: -f2)
+        DETAILS=$(echo "${line}" | cut -d: -f3- |
+                  sed -e 's/^[ \t]*//' -e 's/[ \t]*$//')
+
+        # parse if warning (errors don't have a label)
+        if echo "$DETAILS" | grep -q "^warning: "; then
+            DETAILS=$(echo "$DETAILS" | sed 's/^warning: //')
+            github_annotate_warning "$FILENAME" "$LINENUM" "$DETAILS"
+        else
+            # errors might start with "error:" (but don't have to)

we can remove this line when we enforce errors

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/15753#pullrequestreview-567061886
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20210113/cd4d86bb/attachment.htm>


More information about the notifications mailing list