github: improve CI

Noltari · Noltari · commit c63359ef6263 · 2022-11-03T19:52:48.000+01:00
Signed-off-by: Álvaro Fernández Rojas &lt;noltari@gmail.com&gt;
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,12 +1,9 @@
 name: CI
 
-on:
-  - push
-  - pull_request
+on: [push, pull_request]
 
 jobs:
-  pico:
-    name: RPi Pico compilation
+  CI:
     runs-on: ubuntu-20.04
     steps:
       - name: 'Check out code'
