4 commits

Author	SHA1	Message	Date
Álvaro Fernández Rojas	71fd38df8a	github: improve CI ... Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>	2022-11-04 09:19:25 +01:00
Álvaro Fernández Rojas	982b071d6c	github: update CI workflow ... Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>	2022-05-03 17:30:19 +02:00
Álvaro Fernández Rojas	7a8e3bf16c	github: force Ubuntu 20.04 ... Apparently, ubuntu-latest still points to Ubuntu 18.04, which uses an older and incompatible version of gcc-arm-none-eabi. Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>	2021-02-06 12:23:07 +01:00
Álvaro Fernández Rojas	7f8226a3a1	github: add CI ... Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>	2021-02-06 11:37:55 +01:00