Merge pull request #12 from dfinity/or-fix-linux-release

separate kernel releases for guest and host

Author: rikonor

.github/workflows/targets.yml

@@ -114,7 +114,7 @@ jobs:
         uses: softprops/action-gh-release@v1
         with:
           token: ${{ secrets.RELEASE_ACCESS_TOKEN }}
-          tag_name: kernel-${{ env.SHORT_SHA }}
+          tag_name: kernel-${{ matrix.target }}-${{ env.SHORT_SHA }}
           files: |
             ${{ github.workspace }}/out/*
           body: |

build/kernel.sh

@@ -31,4 +31,4 @@ find "${BUILD_DIR}/.." -name "linux-image*.deb" -not -name "*dbg*" -exec dpkg -i
 
 # Output
 find "${BUILD_DIR}/.." -name "linux-image*.deb" -not -name "*dbg*" | xargs -I {} cp {} "${OUT_DIR}"
-find "/boot" -name "initrd*" -or -name "vmlinuz*" -or -name "config*" | xargs -I {} cp {} "${OUT_DIR}"
+find "/boot" -name "initrd*" -or -name "vmlinuz*" -or -name "config*" | xargs -I {} cp {} "${OUT_DIR}"