Remove compilations of sketches using pulseIn() for Portenta from CI workflow

The pulseIn() function has not yet been implemented for the Portenta H7 boards in the core library of their "Arduino Mbed OS Boards (nRF52840 / STM32H747)" platform.

Once the pulseIn() function has been implemented for Portenta H7 and a release of the platform made containing that implementation, this commit should be reverted.

Author: per1234

.github/workflows/compile-examples.yml

@@ -65,7 +65,8 @@ jobs:
         "examples/04.Communication/SerialEvent"
         "examples/04.Communication/VirtualColorMixer"
         "examples/05.Control"
-        "examples/06.Sensors"
+        "examples/06.Sensors/ADXL3xx"
+        "examples/06.Sensors/Knock"
         "examples/07.Display"
         "examples/08.Strings"
         "examples/11.ArduinoISP"
@@ -81,45 +82,55 @@ jobs:
             serial1: false
             starter-kit: true
             tone: true
+            pulsein: true
           # Adding this in addition to the Uno because it has 1.5 kB less available flash
           - fqbn: arduino:avr:nano
             usb: false
             serial1: false
             starter-kit: false
             tone: true
+            pulsein: true
           - fqbn: arduino:avr:leonardo
             usb: true
             serial1: true
             starter-kit: false
             tone: true
+            pulsein: true
           - fqbn: arduino:megaavr:uno2018:mode=off
             usb: false
             serial1: true
             starter-kit: false
             tone: true
+            pulsein: true
           - fqbn: arduino:samd:mkrzero
             usb: true
             serial1: true
             starter-kit: false
             tone: true
+            pulsein: true
           - fqbn: arduino:mbed:nano33ble
             usb: false
             serial1: true
             starter-kit: false
             tone: true
+            pulsein: true
           # Change this to arduino:mbed:envie_m7 once there is a production release of the Arduino Mbed OS Boards platform
           - fqbn: arduino-beta:mbed:envie_m7
             usb: false
             serial1: true
             starter-kit: false
             tone: true
+            # Bug report: https://github.com/arduino/ArduinoCore-mbed/issues/48
+            # Change the value to true once it is fixed.
+            pulsein: false
           - fqbn: arduino:sam:arduino_due_x
             usb: true
             serial1: true
             starter-kit: false
             # Bug report: https://github.com/arduino/ArduinoCore-sam/issues/24
             # Change the value to true once it is fixed.
             tone: false
+            pulsein: true
 
         # Make board type-specific customizations to the matrix jobs
         include:
@@ -163,6 +174,14 @@ jobs:
           - board:
               tone: false
             tone-sketch-paths: ""
+          - board:
+              pulsein: true
+            pulsein-sketch-paths: >-
+              "examples/06.Sensors/Memsic2125"
+              "examples/06.Sensors/Ping"
+          - board:
+              pulsein: false
+            pulsein-sketch-paths: ""
 
     steps:
       - name: Checkout
@@ -181,5 +200,6 @@ jobs:
             ${{ matrix.serial1-sketch-paths }}
             ${{ matrix.starter-kit-sketch-paths }}
             ${{ matrix.tone-sketch-paths }}
+            ${{ matrix.pulsein-sketch-paths }}
           # This input can be removed once the repository is made public
           github-token: ${{ secrets.GITHUB_TOKEN }}