From b7542ac81a89f8e9bf583d332d5efab375006872 Mon Sep 17 00:00:00 2001
From: probonopd <probonopd@users.noreply.github.com>
Date: Sun, 20 Feb 2022 11:48:36 +0100
Subject: [PATCH] Separate run for Raspberry Pi 3 [ci skip]

---
 .github/workflows/build.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 4a214de..1ffcb14 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -23,10 +23,14 @@ jobs:
       run: |
            wget -q https://developer.arm.com/-/media/Files/downloads/gnu-a/10.3-2021.07/binrel/gcc-arm-10.3-2021.07-x86_64-aarch64-none-elf.tar.xz
            tar xf gcc-arm-*-*.tar.xz 
-    - name: Build circle-stdlib library
+    - name: Build for Raspberry Pi 4
       run: |
            export PATH=$(readlink -f ./gcc-*/bin/):$PATH
            RPI=4 bash -ex build.sh
+           ls src/*.img
+    - name: Build for Raspberry Pi 3
+      run: |
+           export PATH=$(readlink -f ./gcc-*/bin/):$PATH
            RPI=3 bash -ex build.sh
            ls src/*.img
     - name: Get Raspberry Pi boot files