Enable support for Portenta H7

by
- adding CI build and
- listing the architecture in library.properties
.

.github/workflows/compile-examples.yml

@@ -48,6 +48,9 @@ jobs:
           - fqbn: arduino:mbed_giga:giga
             platforms: |
               - name: arduino:mbed_giga
+          - fqbn: arduino:mbed_portenta:envie_m7
+            platforms: |
+              - name: arduino:mbed_portenta
 
     steps:
       - name: Checkout

library.properties

@@ -6,4 +6,4 @@ sentence=Generic library for providing IP based 10BASE-T1S communication.
 paragraph=This Arduino library provides both low-level drivers and high-level abstractions to perform real-time communication via 10BASE-T1S, a multi-drop capable Ethernet standard.
 category=Communication
 url=https://github.com/arduino-libraries/Arduino_10BASE_T1S
-architectures=samd,renesas_uno,renesas_portenta,mbed_giga
+architectures=samd,renesas_uno,renesas_portenta,mbed_giga,mbed_portenta