github: improve CI

Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>
This commit is contained in:
Álvaro Fernández Rojas 2022-11-03 19:46:43 +01:00
parent d0925bfd33
commit 71fd38df8a

View file

@ -1,12 +1,9 @@
name: CI name: CI
on: on: [push, pull_request]
- push
- pull_request
jobs: jobs:
pico: CI:
name: RPi Pico compilation
runs-on: ubuntu-20.04 runs-on: ubuntu-20.04
steps: steps:
- name: 'Check out code' - name: 'Check out code'