doc: add link to SYCL Badge (#397) #252

Job	Run time
Dry Run Packaging	1m 58s
Build Examples (espressif/esp)	2m 21s
Build (ubuntu-latest)	35s
Build Examples (gigadevice/gd32)	2m 11s
Build Website	2m 51s
Build (windows-latest)	1m 43s
Check that stm32 generated code is up to date	2m 42s
Build Examples (microchip/avr)	2m 17s
Build (macos-latest)	32s
Build Examples (microchip/atsam)	2m 14s
Build Examples (nordic/nrf5x)	2m 8s
Unit Test Ports (ubuntu-latest, gigadevice/gd32)	27s
Unit Test Regz (ubuntu-latest)	54s
Build Examples (nxp/lpc)	2m 7s
Unit Test Ports (ubuntu-latest, raspberrypi/rp2xxx)	34s
Unit Test UF2 (ubuntu-latest)	27s
Unit Test Regz (windows-latest)	2m 10s
Build Examples (stmicro/stm32)	39s
Unit Test Ports (ubuntu-latest, stmicro/stm32)	21s
Unit Test UF2 (windows-latest)	1m 8s
Unit Test Regz (macos-latest)	55s
Build Examples (raspberrypi/rp2xxx)	2m 28s
Unit Test Ports (windows-latest, gigadevice/gd32)	1m 32s
Unit Test UF2 (macos-latest)	38s
Build Examples (wch/ch32v)	2m 14s
Unit Test Ports (windows-latest, raspberrypi/rp2xxx)	1m 45s
Unit Test Ports (windows-latest, stmicro/stm32)	1m 33s
Unit Test Ports (macos-latest, gigadevice/gd32)	42s
Unit Test Ports (macos-latest, raspberrypi/rp2xxx)	35s
Unit Test Ports (macos-latest, stmicro/stm32)	34s
	43m 15s

Provide feedback