Merge branch 'release/v5.1.0' #155

Job	Run time
build (ubuntu-latest, examples/arduino-blink)	1m 27s
build (ubuntu-latest, examples/arduino-external-libs)	42s
build (ubuntu-latest, examples/arduino-internal-libs)	33s
build (ubuntu-latest, examples/arduino-own-src_dir)	22s
build (ubuntu-latest, examples/assembly-blink)	20s
build (ubuntu-latest, examples/digitstump-mouse)	21s
build (ubuntu-latest, examples/engduino-magnetometer)	23s
build (ubuntu-latest, examples/native-blink)	20s
build (windows-latest, examples/arduino-blink)	11m 24s
build (windows-latest, examples/arduino-external-libs)	1m 21s
build (windows-latest, examples/arduino-internal-libs)	1m 7s
build (windows-latest, examples/arduino-own-src_dir)	49s
build (windows-latest, examples/assembly-blink)	58s
build (windows-latest, examples/digitstump-mouse)	1m 4s
build (windows-latest, examples/engduino-magnetometer)	59s
build (windows-latest, examples/native-blink)	56s
build (macos-latest, examples/arduino-blink)	1m 58s
build (macos-latest, examples/arduino-external-libs)	57s
build (macos-latest, examples/arduino-internal-libs)	43s
build (macos-latest, examples/arduino-own-src_dir)	28s
build (macos-latest, examples/assembly-blink)	22s
build (macos-latest, examples/digitstump-mouse)	33s
build (macos-latest, examples/engduino-magnetometer)	34s
build (macos-latest, examples/native-blink)	24s
	29m 5s

Provide feedback