Álvaro Fernández Rojas
2e3f10f756
github: bump checkout to v4
...
Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>
2024-04-10 20:01:41 +02:00
Á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