From f8922061f51738d04d3184398b0f6a8937ecefa0 Mon Sep 17 00:00:00 2001
From: probonopd <probonopd@users.noreply.github.com>
Date: Sat, 5 Feb 2022 19:13:11 +0100
Subject: [PATCH] Upload SD card contents

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 9dd3673..6b4dfb9 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -38,8 +38,20 @@ jobs:
            cd src
            make -j$(nproc)
            ls *.img
+    - name: Get Raspberry Pi boot files
+      run: |
+           cd ./circle-stdlib/libs/circle/boot
+           make
+           make armstub
+           cd -
+           mkdir -p MiniDexed
+           cp -r ./circle-stdlib/libs/circle/boot/* MiniDexed
+           mv MiniDexed/config64.txt MiniDexed/config.txt
+           rm MiniDexed/config32.txt MiniDexed/README MiniDexed/Makefile
+           cp ./src/*img MiniDexed/
+           zip -r MiniDexed.zip MiniDexed/
     - name: Upload to GitHub Releases (only when building from main branch)
       if: ${{ github.ref == 'refs/heads/main' }}
       run: |
            wget -c https://github.com/probonopd/uploadtool/raw/master/upload.sh
-           bash ./upload.sh ./src/*img
+           bash ./upload.sh ./MiniDexed.zip