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 <[email protected]>
Noltari · Feb 6, 2021 · 7a8e3bf · 7a8e3bf
1 parent 206b612
commit 7a8e3bf
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -9,8 +9,8 @@ env:
 
 jobs:
   pico:
-    name: Raspberry Pi Pico compilation
-    runs-on: ubuntu-latest
+    name: RPi Pico compilation
+    runs-on: ubuntu-20.04
     steps:
       - name: Check out code from GitHub
         uses: actions/checkout@v2