From a1409ef90df7f869116c4c494d0b72c5c7620cee Mon Sep 17 00:00:00 2001 From: Jason2866 <24528715+Jason2866@users.noreply.github.com> Date: Mon, 4 Apr 2022 13:24:17 +0200 Subject: [PATCH] add package.json to release zip (#6501) * add package.json to release zip so it is directly useable from PlatformIO --- .github/scripts/on-release.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/scripts/on-release.sh b/.github/scripts/on-release.sh index 8e7b8516..7222baba 100755 --- a/.github/scripts/on-release.sh +++ b/.github/scripts/on-release.sh @@ -172,6 +172,7 @@ mkdir -p "$PKG_DIR/tools" # Copy all core files to the package folder echo "Copying files for packaging ..." cp -f "$GITHUB_WORKSPACE/boards.txt" "$PKG_DIR/" +cp -f "$GITHUB_WORKSPACE/package.json" "$PKG_DIR/" cp -f "$GITHUB_WORKSPACE/programmers.txt" "$PKG_DIR/" cp -Rf "$GITHUB_WORKSPACE/cores" "$PKG_DIR/" cp -Rf "$GITHUB_WORKSPACE/libraries" "$PKG_DIR/"