Álvaro Fernández Rojas
9d0df3277d
github: ci: switch to ubuntu-22.04
...
Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>
2024-04-16 12:22:25 +02:00
Álvaro Fernández Rojas
2f05798e36
github: bump upload-artifact to v4
...
Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>
2024-04-10 20:02:38 +02:00
Á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