From 752ce66c2435699cb3ceeeccda6ba67a7848968f Mon Sep 17 00:00:00 2001 From: Damien George Date: Mon, 24 Jul 2023 10:26:05 +1000 Subject: [PATCH] github/workflows: Build all example .py files as part of CI. Signed-off-by: Damien George --- .github/workflows/build_packages.yml | 2 ++ tools/ci.sh | 6 ++++++ 2 files changed, 8 insertions(+) diff --git a/.github/workflows/build_packages.yml b/.github/workflows/build_packages.yml index b6781be4..7ac4403b 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 6490a95c..81ec641f 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