From 49b7a33c5c1fb86198f9aa381ee5d92f7caa999d Mon Sep 17 00:00:00 2001
From: probonopd <probonopd@users.noreply.github.com>
Date: Mon, 21 Feb 2022 19:31:34 +0100
Subject: [PATCH] Preserve various kernels

https://github.com/probonopd/MiniDexed/issues/23
---
 .github/workflows/build.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index a320626..cff69e7 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -30,17 +30,17 @@ jobs:
       run: |
            export PATH=$(readlink -f ./gcc-*aarch64-none*/bin/):$PATH
            RPI=4 bash -ex build.sh
-           cp ./circle-stdlib/libs/circle/kernel*.img ./kernels/
+           cp ./src/kernel*.img ./kernels/
     - name: Build for Raspberry Pi 3
       run: |
            export PATH=$(readlink -f ./gcc-*aarch64-none*/bin/):$PATH
            RPI=3 bash -ex build.sh
-           cp ./circle-stdlib/libs/circle/kernel*.img ./kernels/
+           cp ./src/kernel*.img ./kernels/
     - name: Build for Raspberry Pi 2
       run: |
            export PATH=$(readlink -f ./gcc-*arm-none*/bin/):$PATH
            RPI=2 bash -ex build.sh
-           lcp ./circle-stdlib/libs/circle/kernel*.img ./kernels/
+           cp ./src/kernel*.img ./kernels/
     - name: Get Raspberry Pi boot files
       run: |
            export PATH=$(readlink -f ./gcc-*aarch64-none*/bin/):$PATH
@@ -55,7 +55,7 @@ jobs:
            rm -rf sdcard/config32.txt sdcard/README sdcard/Makefile sdcard/armstub sdcard/COPYING.linux
            cp ./src/*img sdcard/
            cd sdcard
-           zip -r ../MiniDexed_arm64_$(date +%Y-%m-%d).zip *
+           zip -r ../MiniDexed_$(date +%Y-%m-%d).zip *
     - name: Upload to GitHub Releases (only when building from main branch)
       if: ${{ github.ref == 'refs/heads/main' }}
       run: |