diff --git a/.github/workflows/build_packages.yml b/.github/workflows/build_packages.yml index b6781be44..7ac4403b6 100644 --- a/.github/workflows/build_packages.yml +++ b/.github/workflows/build_packages.yml @@ -17,6 +17,8 @@ jobs: run: source tools/ci.sh && ci_build_packages_check_manifest - name: Compile package index run: source tools/ci.sh && ci_build_packages_compile_index + - name: Compile package examples + run: source tools/ci.sh && ci_build_packages_examples - name: Publish packages for branch if: vars.MICROPY_PUBLISH_MIP_INDEX && github.event_name == 'push' && ! github.event.deleted run: source tools/ci.sh && ci_push_package_index diff --git a/tools/ci.sh b/tools/ci.sh index 6490a95c0..81ec641f2 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -41,6 +41,12 @@ function ci_build_packages_compile_index { python3 tools/build.py --micropython /tmp/micropython --output $PACKAGE_INDEX_PATH } +function ci_build_packages_examples { + for example in $(find -path \*example\*.py); do + /tmp/micropython/mpy-cross/build/mpy-cross $example + done +} + function ci_push_package_index { set -euo pipefail